Genetic Programming Testing Model

title = "Genetic Programming Testing Model",

author = "Nada M. A. {Al Sallami}",

booktitle = "Proceedings of the World Congress on Engineering (WCE'12)",

year = "2012",

editor = "S. I. Ao and Len Gelman and David WL Hukins and Andrew Hunter and A. M. Korsunsky",

series = "Lecture Notes in Engineering and Computer Science",

pages = "737--741",

address = "London, UK",

month = jul # " 4-6",

organization = "International Association of Engineers",

publisher = "Newswood Limited",

keywords = "genetic algorithms, genetic programming, SBSE, model-based testing, test generator, finite state machine",

isbn13 = "978-988-19252-1-3",

URL = "

http://www.iaeng.org/publication/WCE2012/WCE2012_pp737-741.pdf",

size = "5",

abstract = "Software testing requires the use of a model to guide such efforts as test selection and test verification. In this case, testers are performing model-based testing. This paper introduces model-based testing and discusses its tasks in general terms with proposed finite state models. These FSMs depend on software's semantic rather than its structure, , it use input-output specification and trajectory information to evolve and test general software. Finally, we close with a discussion of how our model-based testing can be used with genetic programming test generator.",

notes = "volume II: The 2012 International Conference of Computational Intelligence and Intelligent Systems",