{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,10]],"date-time":"2026-11-10T21:41:18Z","timestamp":1794346878205,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540716020","type":"print"},{"value":"9783540716051","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71605-1_11","type":"book-chapter","created":{"date-parts":[[2007,6,19]],"date-time":"2007-06-19T19:36:48Z","timestamp":1182281808000},"page":"114-124","source":"Crossref","is-referenced-by-count":45,"title":["Genetic Programming with Fitness Based on Model Checking"],"prefix":"10.1007","author":[{"given":"Colin G.","family":"Johnson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/978-3-540-28645-5_36","volume-title":"Advances in Artificial Intelligence \u2013 SBIA 2004","author":"R.N. Acras","year":"2004","unstructured":"Acras, R.N., Vergilio, S.R.: Splinter: A generic framework for evolving modular finite state machines. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol.\u00a03171, pp. 356\u2013365. Springer, Heidelberg (2004)"},{"key":"11_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0055923","volume-title":"Genetic Programming: An Introduction","author":"W. Banzhaf","year":"1998","unstructured":"Banzhaf, W., Nordin, P., Keller, R.E., Francone, F.D.: Genetic Programming: An Introduction. Morgan Kaufmann, Seattle (1998)"},{"key":"11_CR3","volume-title":"Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science","author":"J.R. Burch","year":"1990","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos (1990)"},{"issue":"5","key":"11_CR4","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1109\/12.53576","volume":"39","author":"T.L. Casavant","year":"1990","unstructured":"Casavant, T.L., Kuhl, J.G.: A communicating finite automata approach to modeling distributed computation and its application to distributed decision-making. IEEE Trans. Computers\u00a039(5), 628\u2013639 (1990)","journal-title":"IEEE Trans. Computers"},{"key":"11_CR5","volume-title":"Proceedings of the 1999 IEEE Congress on Evolutionary Computation","author":"K. Chellapilla","year":"1999","unstructured":"Chellapilla, K., Czarnecki, D.: A preliminary investigation into evolving modular finite state machines. In: Proceedings of the 1999 IEEE Congress on Evolutionary Computation, IEEE Press, New York (1999)"},{"issue":"3","key":"11_CR6","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1049\/ip-sen:20030559","volume":"150","author":"J. Clark","year":"2003","unstructured":"Clark, J., et al.: Reformulating software engineering as a search problem. IEE Proceedings - Software\u00a0150(3), 161\u2013175 (2003)","journal-title":"IEE Proceedings - Software"},{"issue":"14","key":"11_CR7","doi-asserted-by":"publisher","first-page":"891","DOI":"10.1016\/S0950-5849(01)00195-1","volume":"43","author":"J.A. Clark","year":"2001","unstructured":"Clark, J.A., Jacob, J.L.: Protocols are programs too: the meta-heuristic search for security protocols. Information and Software Technology\u00a043(14), 891\u2013904 (2001)","journal-title":"Information and Software Technology"},{"key":"11_CR8","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"11_CR9","first-page":"955","volume-title":"Handbook of Theoretical Computer Science, vol. B","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 955\u20131072. MIT Press, Cambridge (1990)"},{"key":"11_CR10","volume-title":"Evolutionary Computation: Toward a New Philosophy of Machine Intelligence","author":"D.B. Fogel","year":"1995","unstructured":"Fogel, D.B.: Evolutionary Computation: Toward a New Philosophy of Machine Intelligence. IEEE Press, New York (1995)"},{"key":"11_CR11","volume-title":"Artificial Intelligence through Simulated Evolution","author":"L.J. Fogel","year":"1966","unstructured":"Fogel, L.J., Owens, A.J., Walsh, M.J.: Artificial Intelligence through Simulated Evolution. Academic Press, San Diego (1966)"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/METRIC.2004.1357891","volume-title":"Proceedings of the Tenth IEEE International Symposium on Software Metrics","author":"M. Harman","year":"2004","unstructured":"Harman, M., Clark, J.A.: Metrics are fitness functions too. In: Proceedings of the Tenth IEEE International Symposium on Software Metrics, pp. 58\u201369. IEEE Press, New York (2004)"},{"issue":"14","key":"11_CR13","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M. Harman","year":"2001","unstructured":"Harman, M., Jones, B.F.: Search-based software engineering. Information and Software Technology\u00a043(14), 833\u2013839 (2001)","journal-title":"Information and Software Technology"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D., PRISM,: a tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1109\/CEC.2000.870817","volume-title":"Proceedings of the 2000 Congress on Evolutionary Computation","author":"L. Huelsbergen","year":"2000","unstructured":"Huelsbergen, L.: Abstract program evaluation and its application to sorter evolution. In: Proceedings of the 2000 Congress on Evolutionary Computation, pp. 1407\u20131414. IEEE Press, New York (2000)"},{"key":"11_CR16","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"M. Huth","year":"2000","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2000)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45984-7_29","volume-title":"Genetic Programming","author":"C.G. Johnson","year":"2002","unstructured":"Johnson, C.G.: Deriving genetic programming fitness properties by static analysis. In: Foster, J.A., et al. (eds.) EuroGP 2002. LNCS, vol.\u00a02278, Springer, Heidelberg (2002)"},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-540-45240-9_14","volume-title":"Applications and Science in Soft Computing","author":"C.G. Johnson","year":"2004","unstructured":"Johnson, C.G.: Genetic programming with guaranteed constraints. In: Lotfi, A., Garibaldi, J.M. (eds.) Applications and Science in Soft Computing, pp. 95\u2013100. Springer, Heidelberg (2004)"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-36599-0_7","volume-title":"Genetic Programming","author":"M. Keijzer","year":"2003","unstructured":"Keijzer, M.: Improving symbolic regression with interval arithmetic. In: Ryan, C., et al. (eds.) EuroGP 2003. LNCS, vol.\u00a02610, pp. 70\u201382. Springer, Heidelberg (2003)"},{"key":"11_CR20","series-title":"Series in Complex Adaptive Systems","volume-title":"Genetic Programming: On the Programming of Computers by means of Natural Selection","author":"J.R. Koza","year":"1992","unstructured":"Koza, J.R.: Genetic Programming: On the Programming of Computers by means of Natural Selection. Series in Complex Adaptive Systems. MIT Press, Cambridge (1992)"},{"issue":"4","key":"11_CR21","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1109\/4235.942529","volume":"5","author":"M. O\u2019Neill","year":"2001","unstructured":"O\u2019Neill, M., Ryan, C.: Grammatical evolution. IEEE Transactions on Evolutionary Computation\u00a05(4), 349\u2013358 (2001)","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"11_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0447-4","volume-title":"Grammatical Evolution: Evolutionary Automatic Programming in an Arbitrary Language","author":"M. O\u2019Neill","year":"2003","unstructured":"O\u2019Neill, M., Ryan, C.: Grammatical Evolution: Evolutionary Automatic Programming in an Arbitrary Language. Kluwer, Dordrecht (2003)"},{"issue":"2","key":"11_CR23","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF00974746","volume":"5","author":"D. Partridge","year":"1995","unstructured":"Partridge, D., Galton, A.: The specification of \u2018specification\u2019. Minds and Machines\u00a05(2), 243\u2013255 (1995)","journal-title":"Minds and Machines"},{"issue":"1\u20132","key":"11_CR24","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1515\/JISYS.1997.7.1-2.19","volume":"7","author":"D. Partridge","year":"1997","unstructured":"Partridge, D., Yates, W.B.: Data-defined problems and multiversion neural-net systems. Journal of Intelligent Systems\u00a07(1\u20132), 19\u201332 (1997)","journal-title":"Journal of Intelligent Systems"},{"key":"11_CR25","unstructured":"Petrovic, P.: Comparing finite-state automata representation with gp-trees. IDI Technical report 05\/2006, Norwegian University of Science and Technology (2006)"},{"key":"11_CR26","first-page":"243","volume-title":"Advances in Genetic Programming","author":"C. Ryan","year":"1994","unstructured":"Ryan, C.: Pygmies and civil servants. In: Kinnear Jr., K.E. (ed.) Advances in Genetic Programming, pp. 243\u2013263. MIT Press, Cambridge (1994)"}],"container-title":["Lecture Notes in Computer Science","Genetic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71605-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T05:52:10Z","timestamp":1619502730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71605-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540716020","9783540716051"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71605-1_11","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-71605-1","asserted-by":"object"}]},"subject":[]}}