{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:06:49Z","timestamp":1763467609821},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2004,4,6]],"date-time":"2004-04-06T00:00:00Z","timestamp":1081209600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2004,8]]},"DOI":"10.1007\/s10009-004-0141-1","type":"journal-article","created":{"date-parts":[[2004,4,7]],"date-time":"2004-04-07T04:17:12Z","timestamp":1081311432000},"page":"117-127","source":"Crossref","is-referenced-by-count":40,"title":["Exploring very large state spaces using genetic algorithms"],"prefix":"10.1007","volume":"6","author":[{"given":"Patrice","family":"Godefroid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,4,6]]},"reference":[{"key":"141_CR1","doi-asserted-by":"crossref","unstructured":"Beyer H-G, Schwefel H-P (2002) Evolution strategies \u2013 a comprehensive introduction. Nat Comput 1(1)","DOI":"10.1023\/A:1015059928466"},{"key":"141_CR2","doi-asserted-by":"crossref","unstructured":"Boigelot B, Godefroid P (1996) Model checking in practice: an analysis of the ACCESS.bus protocol using SPIN. In: Proceedings of Formal Methods Europe\u201996, Oxford, March 1996. Lecture notes in computer science, vol 1051. Springer, Berlin Heidelberg New York, pp 465\u2013478","DOI":"10.1007\/3-540-60973-3_102"},{"key":"141_CR3","doi-asserted-by":"crossref","unstructured":"Bueno SPM, Jino M (2000) Identification of potentially infeasible program paths by monitoring the search for test data. In: Proceedings of the 15th IEEE international conference on automated software engineering (ASE), Grenoble, France, September 2000","DOI":"10.1109\/ASE.2000.873665"},{"key":"141_CR4","unstructured":"Clarke EM, Grumberg O, Hiraishi H, Jha S, Long DE, McMillan KL, Ness LA (1993) Verification of the Futurebus+ cache coherence protocol. In: Proceedings of the 11th international symposium on computer hardware description languages and their apllications. North-Holland, Amsterdam"},{"key":"141_CR5","unstructured":"Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT Press, Cambridge, MA"},{"key":"141_CR6","doi-asserted-by":"crossref","unstructured":"Edelkamp S, Lafuente AL, Leue S (2001) Directed explicit model checking with hsf-spin. In: Proceedings of the 2001 SPIN workshop, May 2001. Lecture notes in computer science, vol 2057. Springer, Berlin Heidelberg New York, pp 57\u201379","DOI":"10.1007\/3-540-45139-0_5"},{"key":"141_CR7","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1109\/4235.771166","volume":"3","author":"Eiben","year":"1999","unstructured":"Eiben AE, Hinterding R, Michalewicz Z (1999) Parameter control in evolutionary algorithms. IEEE Trans Evolut Comput 3(2):124\u2013141","journal-title":"IEEE Trans Evolut Comput"},{"key":"141_CR8","doi-asserted-by":"crossref","unstructured":"Eiben AE, van Hemert JI, Marchiori E, Steenbeek AG (1998) Solving binary constraint satisfaction problems using evolutionary algorithms with an adaptive fitness function. In: Proceedings of the 5th conference on parallel problem solving from nature, pp 196\u2013205","DOI":"10.1007\/BFb0056863"},{"key":"141_CR9","doi-asserted-by":"crossref","unstructured":"Godefroid P (1996) Partial-order methods for the verification of concurrent systems \u2013 an approach to the state-explosion problem. Lecture notes in computer science, vol 1032. Springer, Berlin Heidelberg New York","DOI":"10.1007\/3-540-60761-7"},{"key":"141_CR10","doi-asserted-by":"crossref","unstructured":"Godefroid P (1997) Model checking for programming languages using VeriSoft. In: Proceedings of the 24th annual ACM symposium on the principles of programming languages (POPL), Paris, January 1997, pp 174\u2013186","DOI":"10.1145\/263699.263717"},{"key":"141_CR11","doi-asserted-by":"crossref","unstructured":"Godefroid P, Hanmer R, Jagadeesan L (1998) Model checking without a model: an analysis of the heart-beat monitor of a telephone switch using VeriSoft. In: Proceedings of ACM SIGSOFT ISSTA\u201998 (international symposium on software testing and analysis), Clearwater Beach, FL, March 1998, pp 124\u2013133","DOI":"10.1145\/271771.271800"},{"key":"141_CR12","unstructured":"Goldberg DE (1989) Genetic algorithms in search, optimization, and machine learning. Addison-Wesley, Reading, MA"},{"key":"141_CR13","doi-asserted-by":"crossref","unstructured":"Groce A, Visser W (2002) Model checking Java programs using structural heuristics. In: Proceedings of the international symposium on software testing and analysis (ISSTA), Rome, July 2002, pp 12\u201321","DOI":"10.1145\/566172.566175"},{"key":"141_CR14","unstructured":"Holland J (1975) Adaptation in natural and artificial systems. University of Michigan Press, Ann Arbor, MI"},{"key":"141_CR15","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1049\/sej.1996.0040","volume":"11","author":"Jones","year":"1996","unstructured":"Jones BF, Sthamer HH, Eyres DE (1996) Automatic structural testing using genetic algorithms. Softw Eng J 11(5):299\u2013306","journal-title":"Softw Eng J"},{"key":"141_CR16","doi-asserted-by":"crossref","unstructured":"Khurshid S (2001) Testing an intentional naming system using genetic algorithms. In: Proceedings of the 7th international conference on tools and algorithms for construction and analysis of systems (TACAS), Genoa, Italy, April 2001, pp 358-372","DOI":"10.1007\/3-540-45319-9_25"},{"key":"141_CR17","doi-asserted-by":"crossref","unstructured":"Lowe G (1995) An attack on the Needham\u2013Schroeder public-key authentication protocol. Inf Process Lett 56(3)::131\u2013133","DOI":"10.1016\/0020-0190(95)00144-2"},{"key":"141_CR18","doi-asserted-by":"crossref","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"Needham","year":"1978","unstructured":"Needham R, Schroeder M (1978) Using encryption for authentication in large networks of computers. Commun ACM 21(12):993\u2013999","journal-title":"Commun ACM"},{"key":"141_CR19","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y","volume":"9","author":"Pargas","year":"1999","unstructured":"Pargas RP, Harrold MJ, Peck R (1999) Test-data generation using genetic algorithms. J Softw Test Verif Reliabil 9(4):263\u2013282","journal-title":"J Softw Test Verif Reliabil"},{"key":"141_CR20","unstructured":"Rechenberg I (1973) Evolutionsstrategie: Optimierung technischer Systeme nach Prinzipien der biologischen Evolution. Frommann-Holzbog, Stuttgart"},{"key":"141_CR21","first-page":"23","volume":"89","author":"Ross","year":"1994","unstructured":"Ross P, Corne D (1994) Applications of genetic algorithms. AISB Q Evolut Comput 89:23\u201330","journal-title":"AISB Q Evolut Comput"},{"key":"141_CR22","doi-asserted-by":"crossref","unstructured":"Rudin H (1992) Protocol development success stories: Part I. In: Proceedings of the 12th IFIP WG 6.1 international symposium on protocol specification, testing, and verification, Lake Buena Vista, FL, June 1992. North-Holland, Amsterdam","DOI":"10.1016\/B978-0-444-89874-6.50016-7"},{"key":"141_CR23","unstructured":"Schoofs L, Naudts B (2000) Solving CSP instances beyond the phase transition using evolutionary algorithms. In: Proceedings of the 6th conference on parallel problem solving from nature. Springer, Berlin Heidelberg New York, pp 549-558"},{"key":"141_CR24","first-page":"9","volume":"9","author":"Schraudolph","year":"1992","unstructured":"Schraudolph NN, Belew RK (1992) Dynamic parameter encoding for genetic algorithms. Mach Learn 9(1):9\u201321","journal-title":"Mach Learn"},{"key":"141_CR25","doi-asserted-by":"crossref","unstructured":"Schultz AC, Grefenstette JJ, De Jong KA (1997) Learning to break things: adaptive testing of intelligent controllers. In: Baeck T, Fogel DB, Michalewicz Z (eds) Handbook of evolutionary computation, Institute of Physics, Bristol, UK","DOI":"10.1887\/0750308958\/b386c101"},{"key":"141_CR26","unstructured":"Sthamer H, Wegener J, Baresel A (2002) Using evolutionary testing to improve efficiency and quality in software testing. In: Proceedings of the 2nd Asia-Pacific conference on software testing analysis and review, Melbourne, Australia"},{"key":"141_CR27","doi-asserted-by":"crossref","unstructured":"Van Hemert J (2002) Comparing classical methods for solving binary constraint satisfaction problems with state of the art evolutionary computation. In: Applications of evolutionary computing, pp 81\u201390","DOI":"10.1007\/3-540-46004-7_9"},{"key":"141_CR28","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1008096431840","volume":"15","author":"Wegener","year":"1998","unstructured":"Wegener J, Grochtmann M (1998) Verifying timing constraints of real-time systems by means of evolutionary testing. Real Time Sys 15(3):275\u2013298","journal-title":"Real Time Sys"},{"key":"141_CR29","unstructured":"Yang CH (1998) Prioritized model checking. PhD thesis, Stanford University, Stanford, CA"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-004-0141-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-004-0141-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-004-0141-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T03:25:18Z","timestamp":1559100318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-004-0141-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,4,6]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["141"],"URL":"https:\/\/doi.org\/10.1007\/s10009-004-0141-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,4,6]]}}}