How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3103, Issue , 2004, Pages 1338-1349

  Adamopoulos, Konstantinos ^a   Harman, Mark ^a   Hierons, Robert M ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; GENETIC ALGORITHMS; SOFTWARE TESTING; TESTING;

CO-EVOLUTION; CO-EVOLUTIONARY; EQUIVALENT MUTANTS; MUTATION TESTING; SELECTIVE MUTATION; TEST CASE;

EVOLUTIONARY ALGORITHMS;

EID: 34548029704     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24855-2_155     Document Type: Article

References (31)

1. Myers, G.J.: The Art of Software Testing. Wiley - Interscience, New York (1979)
2. Pressman, R.: Software Engineering: A Practitioner's Approach. 3rd edn. McGraw-Hill Book Company Europe, Maidenhead, Berkshire, England, UK. (1992) European adaptation (1994). Adapted by Darrel Ince. ISBN 0-07-707936-1.
3. Hamlet, R.G.: Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering 3 (1977) 279-290
4. Bottaci, L., Mresa, E.S.: Efficiency of mutation operators and selective mutation strategies: An empirical study. Software Testing, Verification and Reliability 9 (1999) 205-232
5. Budd, T.A.: Mutation analysis: Ideas, examples, problems and prospects. In: Proceedings of the Summer School on Computer Program Testing, Sogesta (1981) 129-148
6. Howden, W.E.: Weak mutation testing and completeness of test sets. IEEE Transactions on Software Engineering 8 (1982) 371-379
7. Woodward, M.R., Halewood, K.: From weak to strong, dead or alive? an analysis of some mutation testing issues. In: Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada (1988)
8. Untch, R.H., Offutt, A.J., Harrold, M.J.: Mutation analysis using mutant schemata. In Ostrand, T., Weyuker, E., eds.: Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA). (1993) 139-148
9. Byoungju, C., Mathur, A.P.: High-performance mutation testing. The Journal of Systems and Software 20 (1993) 135-152
10. Offutt, A.J., Untch, R.: Mutation 2000: Uniting the orthogonal. In Wong, W.E., ed.: Mutation Testing for the New Century (proceedings of Mutation 2000), San Jose, California, USA, Kluwer (2001) 45-55
11. Baldwin, D., Sayward, F.: Heuristics for determining equivalence of program mutations. Research Report 276, Department of Computer Science, Yale University (1979)
12. Hierorts, R.M., Harman, M., Danicic, S.: Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability 9 (1999) 233-262
13. Offutt, A.J., Craft, W.M.: Using compiler optimization techniques to detect equivalent mutants. Software Testing, Verification and Reliability 4 (1994) 131-154
14. Offutt, A.J., Pan, J.: Detecting equivalent mutants and the feasible path problem. In: Annual Conference on Computer Assurance (COMPASS 96), IEEE Computer Society Press, Gaithersburg, MD (1996) 224-236
15. Offutt, A. J., Pan, J.: Automatically detecting equivalent mutants and infeasible paths. Software Testing, Verification, and Reliability 7 (1997) 165-192
16. Bottaci, L.: Instrumenting programs with flag variables for test data search by genetic algorithms. In Langdon, W.B., Cantú-Paz, E., Mathias, K., Roy, R., Davis, D., Poli, R., Balakrishnan, K., Honavar, V., Rudolph, G., Wegener, J., Bull, L., Potter, M.A., Schultz, A.C., Miller, J.F., Burke, E., Jonoska, N., eds.: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, New York, Morgan Kaufmann Publishers (2002) 1337-1342
17. Bottaci, L.: Predicate expression cost functions to guide evolutionary search for test data. In Cantú-Paz, E., Foster, J.A., Deb, K., Davis, D., Roy, R., O'Reilly, U.M., Beyer, H.G., Standish, R., Kendall, G., Wilson, S., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A.C., Dowsland, K., Jonoska, N., Miller, J., eds.: Genetic and Evolutionary Computation - GECCO-2003. Volume 2724 of LNCS., Chicago, Springer-Verlag (2003) 2455-2464
18. Ferguson, R., Korel, B.: The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology 5 (1996) 63-86
19. Jones, B., Sthamer, H.H., Eyres, D.: Automatic structural testing using genetic algorithms. The Software Engineering Journal 11 (1996) 299-306
20. Jones, B.F., Eyres, D.E., Sthamer, H.H.: A strategy for using genetic algorithms to automate branch and fault-based testing. The Computer Journal 41 (1998) 98-107
21. Michael, C., McGraw, G., Schatz, M.: Generating software test data by evolution. IEEE Transactions on Software Engineering (2001) 1085-1110
22. Mueller, F., Wegener, J.: A comparison of static analysis and evolutionary testing for the verification of timing constraints. In: 4th IEEE Real-Time Technology and Applications Symposium (RTAS '98), Washington - Brussels - Tokyo, IEEE (1998) 144-154
23. Pargas, R.P., Harrold, M.J., Peck, R.R.: Test-data generation using genetic algorithms. The Journal of Software Testing, Verification and Reliability 9 (1999) 263-282
24. Pohlheim, H., Wegener, J.: Testing the temporal behavior of real-time software modules using extended evolutionary algorithms. In Banzhaf, W., Daida, J., Eiben, A.E., Garzon, M.H., Honavar, V., Jakiela, M., Smith, R.E., eds.: Proceedings of the Genetic and Evolutionary Computation Conference. Volume 2., Orlando, Florida, USA, Morgan Kaufmann (1999) 1795
25. Schultz, A., Grefenstette, J., Jong, K.: Test and evaluation by genetic algorithms. IEEE Expert 8 (1993) 9-14
26. Tracey, N., Clark, J., Mander, K.: The way forward for unifying dynamic test-case generation: The optimisation-based approach. In: International Workshop on Dependable Computing and Its Applications (DCIA), IFIP (1998) 169-180
27. Wegener, J., Grimm, K., Grochtmann, M., Sthamer, H., Jones, B.F.: Systematic testing of real-time systems. In: 4th International Conference on Software Testing Analysis and Review (EuroSTAR 96). (1996)
28. Wegener, J., Sthamer, H., Jones, B.F., Eyres, D.E.: Testing real-time systems using genetic algorithms. Software Quality 6 (1997) 127-135
29. McMinn, P.: A survey of evolutionary testing. (Software Testing, Verification and Reliability) To appear.
30. Kirsopp, C., Shepperd, M., Hart, J.: Search heuristics, case-based reasoning and software project effort prediction. In Langdon, W.B., Cantu-Paz, E., Mathias, K., Roy, R., Davis, D., Poli, R., Balakrishnan, K., Honavar, V., Rudolph, G., Wegener, J., Bull, L., Potter, M.A., Schultz, A.C., Miller, J.F., Burke, E., Jonoska, N., eds.: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, New York, Morgan Kaufmann Publishers (2002) 1367-1374
31. DeMillo, R.A., Offutt, A. J.: Experimental results from an automatic test generator, acm Transactions of Software Engineering and Methodology 2 (1993) 109-127