共 68 条
[1]
Adra Salem F., 2010, Proceedings of the IEEE Third International Conference on Software Testing Verification and Validation - Workshops (ICSTW 2010), P151, DOI 10.1109/ICSTW.2010.9
[2]
Agha G.Actors., 1986, MODEL CONCURRENT COM
[3]
Ammann P., 2016, INTRO SOFTWARE TESTI
[4]
[Anonymous], P 29 INT C SOFTW ENG
[5]
[Anonymous], 1990, Introduction to Algorithms
[6]
Ayari K, 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, P1074
[7]
Comparative assessment of testing and model checking using program mutation
[J].
TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007,
2007,
:210-+
[8]
Bradbury Jeremy S., MUTATION 06, DOI [10.1109/MUTATION.2006.10, DOI 10.1109/MUTATION.2006.10]
[9]
Bron Arkady, 2005, P ACM SIGPLAN S PRIN, P206