- author = "Yuji Sato",
- title = "Specification-based Test Case Generation with Constrained Genetic Programming",
- booktitle = "2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)",
- year = "2020",
- pages = "98--103",
- address = "Macau, China",
- month = "978-1-7281-8916-1",
- keywords = "genetic algorithms, genetic programming, SBSE, test data generation, ATDG, specification-based testing, regression testing, mutant testing, SOFL",
- isbn13 = "978-1-7281-8916-1",
-
DOI = "
doi:10.1109/QRS-C51114.2020.00027",
- size = "6 pages",
- abstract = "Since current specification-based testing (SBT) faces some challenges in regression test case generation, we have already proposed a new method for test case generation that combines formal specification and genetic algorithms (GA). This method mainly reconfigures formal specifications though GA to generate inputs data that can kill as many as possible mutants of the target program under test. In this paper, we propose ideas to improve the operability and the accuracy of solution search of this method. Specifically, we propose a specification-level constrained operation using genetic programming and discuss effectiveness from the viewpoint of clarity of chromosome notation and ability to search for solutions.",
-
notes = "Also known as \cite{9282642}.
Tree GP, ADF
Faculty of Computer and Information Sciences, Hosei University, Tokyo, Japan",
