| Type Analysis and Automatic Static Detection of Infeasible Paths. | 0 | 0.34 | 2017 |
| RGA: A lightweight and effective regeneration genetic algorithm for coverage-oriented software test data generation. | 2 | 0.37 | 2016 |
| General Development Framework and Its Application Method for Software Safety Case. | 0 | 0.34 | 2013 |
