{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:17:57Z","timestamp":1765545477047},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540406037"},{"type":"electronic","value":"9783540451105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45110-2_152","type":"book-chapter","created":{"date-parts":[[2007,12,10]],"date-time":"2007-12-10T09:04:48Z","timestamp":1197277488000},"page":"2488-2498","source":"Crossref","is-referenced-by-count":37,"title":["The State Problem for Evolutionary Testing"],"prefix":"10.1007","author":[{"given":"Phil","family":"McMinn","sequence":"first","affiliation":[]},{"given":"Mike","family":"Holcombe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"152_CR1","unstructured":"Aho A., Sethi R., Ullman J. D.: Compilers: Principles, Techniques and Tools. Addison-Wesley (1986)"},{"key":"152_CR2","doi-asserted-by":"crossref","unstructured":"Bonabeau E., Dorigo M., Theraulaz G.: Swarm Intelligence. Oxford University Press (1999)","DOI":"10.1093\/oso\/9780195131581.001.0001"},{"key":"152_CR3","unstructured":"Bottaci, L.: Instrumenting Programs with Flag Variables for Test Data Search by Genetic Algorithm, Proceedings of the Genetic and Evolutionary Computation Conference, New York, USA (2002)"},{"key":"152_CR4","volume-title":"Ant System: An Autocatalytic Optimizing Process","author":"M. Dorigo","year":"1991","unstructured":"Dorigo M., Maniezzo, V., Colorni A.: Ant System: An Autocatalytic Optimizing Process. Technical report, Politechnico di Milano, Italy, No. 91-016 (1991)"},{"key":"152_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R. Ferguson","year":"1996","unstructured":"Ferguson R., Korel B.: The Chaining Approach for Software Test Data Generation. ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 1, pp. 63\u201386 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"152_CR6","unstructured":"Harman M., Hu L., Hierons R., Baresel A., Sthamer H: Improving Evolutionary Testing by Flag Removal. Proceedings of the Genetic and Evolutionary Computation Conference, New York, USA (2002)"},{"key":"152_CR7","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/BF00462870","volume":"76","author":"S. Goss","year":"1989","unstructured":"Goss S., Aron S., Denenubourg J. L., Pasteels J. M.: Self Organized Shortcuts in the Argentine Ant. Naturwissenschaften, Vol. 76, pp. 579\u2013581 (1989)","journal-title":"Naturwissenschaften"},{"issue":"3","key":"152_CR8","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip F., A Survey of Program Slicing Techniques. Journal of Programming Languages, Vol.3, No.3, pp.121\u2013189 (1995)","journal-title":"Journal of Programming Languages"},{"key":"152_CR9","doi-asserted-by":"crossref","unstructured":"Tracey N., Clark J., Mander K.: Automated Flaw Finding using Simulated Annealing. International Symposium on Software Testing and Analysis, pp. 73\u201381 (1998).","DOI":"10.1145\/271771.271792"},{"key":"152_CR10","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"J. Wegener","year":"2001","unstructured":"Wegener J., Baresel A. Sthamer H.: Evolutionary Test Environment for Automatic Structural Testing. Information and Software Technology, Vol. 43, pp. 841\u2013854 (2001)","journal-title":"Information and Software Technology"},{"key":"152_CR11","doi-asserted-by":"crossref","unstructured":"Wegener J., Buhr K., Pohlheim H.: Automatic Test Data Generation for Structural Testing of Embedded Software Systems by Evolutionary Testing. Proceedings of the Genetic and Evolutionary Computation Conference, New York, USA (2002)","DOI":"10.1007\/978-1-4615-1035-2_1"},{"key":"152_CR12","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1008096431840","volume":"15","author":"J. Wegener","year":"1998","unstructured":"Wegener J., Grochtmann M.: Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing. Real-Time Systems, Vol. 15, pp. 275\u2013298 (1998)","journal-title":"Real-Time Systems"}],"container-title":["Lecture Notes in Computer Science","Genetic and Evolutionary Computation \u2014 GECCO 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45110-2_152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,30]],"date-time":"2021-08-30T05:34:11Z","timestamp":1630301651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45110-2_152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540406037","9783540451105"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45110-2_152","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}