Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) (2007)
Sept. 26, 2007 to Sept. 29, 2007
Although a lot of research has been done in the field of state-based testing, the automatic generation of test cases from a functional specification in the form of a state machine is not straightforward. This paper investigates the use of genetic algorithms in test data generation for the chosen paths in the state machine, so that the input parameters provided to the methods trigger the specified transitions. Keywords: Automated test data generation, finite state machines, search-based software engineering, evolutionary testing, genetic algorithms, mutation testing
R. Lefticaru and F. Ipate, "Automatic State-Based Test Generation Using Genetic Algorithms," Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007)(SYNASC), Timisoara, Romania, 2007, pp. 188-195.