Author:
Sugeta Tatiana,Maldonado José Carlos,Wong W. Eric
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Agrawal, H.: Design of mutant operators for the C programming language. Technical Report SERC-TR-41-P, Software Engineering Research Center/Purdue University (1989)
2. Ammann, P., Black, P.: A specification-based coverage metric to evaluate test sets. In: Proceedings of Fourth IEEE International High-Assurance Systems Engineering Symposium (HASE 1999), pp. 239–248. IEEE Computer Society, Los Alamitos (1999)
3. Ammann, P., Black, P., Majurski, W.: Using model checking to generate tests from specifications. In: Proceedings of 2nd IEEE International Conference on Formal Engineering Methods, Brisbane, Australia, pp. 46–54. IEEE Computer Society, Los Alamitos (1998)
4. Barbosa, E.F., Maldonado, J.C., Vincenzi, A.M.R.: Toward the determination of sufficient mutant operators for C. Software Testing, Verification and Reliability Journal 11(2), 113–136 (2001)
5. Black, P.E., Okun, V., Yesha, Y.: Mutation operators for specifications. In: Proceedings of 15th IEEE International Conference on Automated Software Engineering (ASE 2000), pp. 81–89 (2000)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献