In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. 711–719 (2012), doi:10.1109/ICST.2012.161īluemke, I., Kulesza, K.: Reduction of computational cost in mutation testing by sampling mutants.
CODEPRO HOW TO USE ECLIPSE VERIFICATION
on Software Testing, Verification and Validation, pp. Patrick, M., Oriol, M., Clark, J.A.: MESSI: Mutant Evaluation by Static Semantic Interpretation. Mresa, E.S., Bottaci, L.: Efficiency of mutation operators and selective mutation strategies: An empirical study. and Methodology 5(2), 99–118 (1996)ĭeMillo, R.A., Offutt, A.J.: Constraint-based automatic test data generation. Offutt, J., Rothermel, G., Zapf, C.: An experimental determination of sufficient mutation operators. on Design, Automation and Test in Europe, March 7-11, vol. 2, pp. Scholive, M., Beroulle, V., Robach, C.: Mutation Sampling Technique for the Generation of Structural Test Data. of the Second Workshop on Software Testing, Verification, and Analysis, pp. Softw. 31(3), 185–196 (1995)ĭeMillo, R.A., Guindi, D.S., King, K.N., McCracken, W.M., Offutt, A.J.: An extended overview of the Mothra software testing environment. Mathur, A.P., Wong, W.E.: Reducing the cost of mutation testing: an empirical study. thesis, Yale Univesity, New Haven, Connecticut (1980) thesis, Georgia Institute of Technology, Atlanta, Georgia (1980)īudd, T.A.: Mutation analysis of program test data. Madeyski, L., Radyk, R.: Judy - A Mutation Testing Tool for Java. Offutt, A.J., Pan, J.: Automatically detecting equivalent mutants and infeasible paths. Offutt, A.J., Craft, W.M.: Using compiler optimization techniques to detect equivalent mutants. Hierons, R., Harman, M., Danicic, S.: Using program slicing to assist in the detection of equivalent mutants. In: Proceedings of the 4th International Workshop on Mutation Testing (2009) Grun, B., Schuler, D., Zeller, A.: The impact of equivalent mutants. Voas, J.M., Miller, K.W.: Software testability: the new verification. Schuler, D., Zeller, A.: (Un-)covering equivalent mutants.
(ed.) Encyclopedia of Software Engineering, pp. Mutation repository, (accessed XII 2013 but modified VII 2011)īashir, B.M., Nadeem, A.: Object Oriented Mutation Testing: A Survey. Technical report TR-09-06, Crest Centre, Kong’s College London, (accessed 2013) Jia, Y., Harman, M.: An Analysis and Survey of the Development of Mutation Testing.
0 kommentar(er)
