共 35 条
[1]
Arcuri A(2013)It really does matter how you normalize the branch distance in search-based software testing Softw Test Verification Reliab (STVR) 23 119-147
[2]
Baudry B(2005)Automatic test cases optimization: a bacteriologic algorithm IEEE Softw 22 76-82
[3]
Fleurey F(1991)Constraint-based automatic test data generation IEEE Trans Softw Eng 17 900-910
[4]
Jzquel JM(1978)Hints on test data selection: help for the practicing programmer Computer 11 34-41
[5]
Le Traon Y(1997)All-uses vs mutation testing: an experimental comparison of effectiveness J Syst Softw 38 235-253
[6]
DeMillo RA(2012)Mutation-driven generation of unit tests and oracles IEEE Trans Softw Eng (TSE) 28 278-292
[7]
Offutt AJ(1977)Testing programs with the aid of a compiler IEEE Trans Softw Eng 3 279-290
[8]
DeMillo RA(1999)Using program slicing to assist in the detection of equivalent mutants Softw Test Verification Reliab 9 233-262
[9]
Lipton RJ(1982)Weak mutation testing and completeness of test sets IEEE Trans Softw Eng 8 371-379
[10]
Sayward FG(2009)Higher order mutation testing J Informat Softw Technol 51 1379-1393