Test data generation : two evolutionary approaches to mutation testing

xxviii Acknowledgements xxix

[1]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[2]  Weichen Eric Wong.  On mutation and data flow , 1993 .

[3]  Jonathan Timmis,et al.  Software Vaccination: An Artificial Immune System Approach to Mutation Testing , 2003, ICARIS.

[4]  Gary McGraw,et al.  Generating Software Test Data by Evolution , 2001, IEEE Trans. Software Eng..

[5]  John A. Clark,et al.  An automated framework for structural test-data generation , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[6]  John A. Clark,et al.  Automated test‐data generation for exception conditions , 2000 .

[7]  A. Jefferson Offutt,et al.  The Dynamic Domain Reduction Procedure for Test Data Generation: Design and Algorithms , 1994 .

[8]  A. Jefferson Offutt,et al.  Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..

[9]  Yoichi Hayashi,et al.  Neural expert system using fuzzy teaching input and its application to medical diagnosis , 1994 .

[10]  W. Eric Wong,et al.  An empirical comparison of data flow and mutation‐based test adequacy criteria , 1994, Softw. Test. Verification Reliab..

[11]  Brian Marick,et al.  The weak mutation hypothesis , 1991, TAV4.

[12]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[13]  William E. Howden,et al.  Weak Mutation Testing and Completeness of Test Sets , 1982, IEEE Transactions on Software Engineering.

[14]  A. Jefferson Offutt,et al.  Mutation 2000: uniting the orthogonal , 2001 .

[15]  Márcio Eduardo Delamaro,et al.  Proteum - A Tool for the Assessment of Test Adequacy for C Programs User's guide , 1996 .

[16]  G. Oster,et al.  Theoretical studies of clonal selection: minimal antibody repertoire size and reliability of self-non-self discrimination. , 1979, Journal of theoretical biology.

[17]  Aditya P. Mathur,et al.  High performance testing on SIMD machines , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

[18]  Elaine J. Weyuker,et al.  Pseudo-oracles for non-testable programs , 1981, ACM '81.

[19]  Dorothea Heiss-Czedik,et al.  An Introduction to Genetic Algorithms. , 1997, Artificial Life.

[20]  Phil McMinn,et al.  Evolutionary testing of state-based programs , 2005, GECCO '05.

[21]  Johannes Mayer,et al.  Test Oracles Using Statistical Methods , 2004, SOQUA/TECOS.

[22]  A. Jefferson Offutt,et al.  Automatically detecting equivalent mutants and infeasible paths , 1997 .

[23]  A.P. Mathur.  Performance, effectiveness, and reliability issues in software testing , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

[24]  C. Janeway.  How the immune system recognizes invaders. , 1993, Scientific American.

[25]  Marco Dorigo,et al.  Swarm intelligence: from natural to artificial systems , 1999 .

[26]  Alan S. Perelson,et al.  Self-nonself discrimination in a computer , 1994, Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy.

[27]  F. Burnet.  The clonal selection theory of acquired immunity , 1959 .

[28]  Byoungju Choi,et al.  High-performance mutation testing , 1993, J. Syst. Softw..

[29]  A. Jefferson Offutt,et al.  How strong is weak mutation? , 1991, TAV4.

[30]  Stephanie Forrest,et al.  Infect Recognize Destroy , 1996 .

[31]  F. Azuaje.  Artificial Immune Systems: A New Computational Intelligence Approach , 2003 .

[32]  Richard G. Hamlet,et al.  Testing Programs with the Aid of a Compiler , 1977, IEEE Transactions on Software Engineering.

[33]  W. Eric Wong,et al.  Comparing the Fault Detection Effectiveness of Mutation and Data Flow Testing: An Empirical Study , 1993 .

[34]  M. R. Woodward,et al.  From weak to strong, dead or alive? an analysis of some mutation testing issues , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

[35]  Bryan F. Jones,et al.  A Strategy for Using Genetic Algorithms to Automate Branch and Fault-Based Testing , 1998, Comput. J..

[36]  A. Jefferson Offutt,et al.  An Empirical Evaluation of Weak Mutation , 1994, IEEE Trans. Software Eng..

[37]  Leonardo Bottaci,et al.  A Genetic Algorithm Fitness Function for Mutation Testing , 2001 .

[38]  J. A. Acree.  On mutation , 1980 .

[39]  A. Jefferson Offutt,et al.  Using compiler optimization techniques to detect equivalent mutants , 1994, Softw. Test. Verification Reliab..

[40]  A. J. Offutt.  A practical system for mutation testing: help for the common programmer , 1994, Proceedings., International Test Conference.

[41]  Phil McMinn,et al.  Hybridizing Evolutionary Testing with the Chaining Approach , 2004, GECCO.

[42]  Phil McMinn,et al.  The State Problem for Evolutionary Testing , 2003, GECCO.

[43]  I L Weissman,et al.  How the immune system develops. , 1993, Scientific American.

[44]  Mark Harman,et al.  Improving Evolutionary Testing By Flag Removal , 2002, GECCO.

[45]  A. Jefferson Offutt,et al.  Investigations of the software testing coupling effect , 1992, TSEM.

[46]  Boris Beizer,et al.  Software Testing Techniques , 1983 .

[47]  Jean-Marc Jézéquel,et al.  Automatic test case optimization using a bacteriological adaptation model: application to .NET components , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[48]  Martin R. Woodward,et al.  An integrated system for program testing using weak mutation and data flow analysis , 1985, ICSE '85.

[49]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[50]  Eugene L. Lawler,et al.  The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization , 1985 .

[51]  Jean-Marc Jézéquel,et al.  Automatic test case optimization: a bacteriologic algorithm , 2005, IEEE Software.

[52]  Mark Harman,et al.  Using program slicing to assist in the detection of equivalent mutants , 1999, Softw. Test. Verification Reliab..

[53]  Bogdan Korel,et al.  Automated Software Test Data Generation , 1990, IEEE Trans. Software Eng..

[54]  James M. Bieman,et al.  A technique for mutation of Java objects , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[55]  Marie-Claude Gaudel,et al.  Testing Can Be Formal, Too , 1995, TAPSOFT.

[56]  Leandro Nunes de Castro,et al.  The Clonal Selection Algorithm with Engineering Applications 1 , 2000 .

[57]  Bogdan Korel,et al.  The chaining approach for software test data generation , 1996, TSEM.

[58]  Patrick van der Smagt,et al.  Introduction to neural networks , 1995, The Lancet.

[59]  Jerne Nk.  Towards a network theory of the immune system. , 1974 .

[60]  Patrícia Duarte de Lima Machado.  Testing from structured algebraic specifications : the oracle problem , 2000 .

[61]  Timothy Alan Budd,et al.  Mutation analysis of program test data , 1980 .

[62]  A. Jefferson Offutt,et al.  Mutation analysis using mutant schemata , 1993, ISSTA '93.

[63]  Paul A. Strooper,et al.  Systematically deriving partial oracles for testing concurrent programs , 2001, Proceedings 24th Australian Computer Science Conference. ACSC 2001.

[64]  Gregg Rothermel,et al.  An experimental determination of sufficient mutant operators , 1996, TSEM.

[65]  Gary McGraw,et al.  Automated software test data generation for complex programs , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[66]  A. Jefferson Offutt,et al.  An experimental mutation system for Java , 2004, SOEN.

[67]  Jin-Cherng Lin,et al.  Automatic test data generation for path testing using GAs , 2001, Inf. Sci..

[68]  A. Jefferson Offutt,et al.  MuJava: an automated class mutation system , 2005, Softw. Test. Verification Reliab..

[69]  K. N. King,et al.  A fortran language system for mutation‐based software testing , 1991, Softw. Pract. Exp..

[70]  P. Marrack,et al.  How the immune system recognizes the body. , 1993, Scientific American.

[71]  Andrew Watkins,et al.  Exploiting immunological metaphors in the development of serial, parallel and distributed learning algorithms , 2005 .

[72]  Roy P. Pargas,et al.  Mutation Testing of Software Using MIMD Computer , 1992, ICPP.

[73]  Jonathan P. Bowen.  Formal Specification and Documentation Using Z: A Case Study Approach , 1996 .

[74]  Leonardo Bottaci.  Instrumenting Programs With Flag Variables For Test Data Search By Genetic Algorithms , 2002, GECCO.

[75]  Roy P. Pargas,et al.  Test‐data generation using genetic algorithms , 1999 .

[76]  Gregg Rothermel,et al.  An experimental evaluation of selective mutation , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[77]  Douglas Baldwin,et al.  Heuristics for Determining Equivalence of Program Mutations. , 1979 .

[78]  P Argos,et al.  Folding the main chain of small proteins with the genetic algorithm. , 1994, Journal of molecular biology.

[79]  R Unger,et al.  Genetic algorithms for protein folding simulations. , 1992, Journal of molecular biology.

[80]  J. Koza,et al.  Fourteen Instances where Genetic Programming has Produced Results that are Competitive with Results Produced by Humans , 1998 .

[81]  G J Nossal.  Life, death and the immune system. , 1993, Scientific American.

[82]  A. Jefferson Offutt,et al.  Inter-class mutation operators for Java , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[83]  Jean-Marc Jézéquel,et al.  Genes and bacteria for automatic test cases optimization in the .NET environment , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[84]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[85]  Julie Greensmith,et al.  Two Ways to Grow Tissue for Artificial Immune Systems , 2005, ICARIS.

[86]  Vi Andrew Jefferson Offutt,et al.  Automatic test data generation , 1988 .

[87]  Jr. Edward William Krauser.  Compiler-integrated software testing , 1992 .

[88]  Anas N. Al-Rabadi,et al.  A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[89]  Keith Mander,et al.  Mutation Testing: An Artificial Immune System Approach , 2003 .

[90]  Pedro Larrañaga,et al.  Genetic Algorithms for the Travelling Salesman Problem: A Review of Representations and Operators , 1999, Artificial Intelligence Review.

[91]  A. Geddes,et al.  The history of smallpox. , 2006, Clinics in dermatology.

[92]  G. Weisbuch,et al.  Immunology for physicists , 1997 .

[93]  Dana Angluin,et al.  Two notions of correctness and their relation to testing , 1982, Acta Informatica.

[94]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[95]  John A. Clark,et al.  Class Mutation : Mutation Testing for Object-Oriented Programs , 2000 .

[96]  H. Markel,et al.  The history of vaccines and immunization: familiar patterns, new challenges. , 2005, Health affairs.

[97]  W Shakespeare.  'And one man in his time....'. , 1972, Annals of the Royal College of Surgeons of England.