To search, Click below search items.
All Published Papers Search Service
Title
An Approach to Slicing Concurrent Ada Programs Based on Program Reachability Graphs
Author
Xiaofang Qi, Baowen Xu
Vol. 6 No. 1 pp. 29~37
Keywords
dependence analysis, slice, Ada, concurrent programs, reachability analysis
An Empirical Study of Configuration Strategies of Evolutionary Testing
Liang Shi, Baowen Xu, Xiaoyuan Xie
Vol. 6 No. 1 pp. 44~49
Software testing, evolutionary testing, genetic algorithm, empirical study