{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T08:10:21Z","timestamp":1765354221950,"version":"3.38.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,3,1]],"date-time":"2011-03-01T00:00:00Z","timestamp":1298937600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s11432-011-4200-4","type":"journal-article","created":{"date-parts":[[2011,3,8]],"date-time":"2011-03-08T18:23:46Z","timestamp":1299608626000},"page":"623-637","source":"Crossref","is-referenced-by-count":16,"title":["Hoare logic-based genetic programming"],"prefix":"10.1007","volume":"54","author":[{"given":"Pei","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"LiShan","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin G.","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shi","family":"Ying","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,3,9]]},"reference":[{"key":"4200_CR1","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.75","volume":"21","author":"C. Rich","year":"1988","unstructured":"Rich C, Waters R C. Automatic programming: myths and prospects. Computer, 1988, 21: 40\u201351","journal-title":"Computer"},{"key":"4200_CR2","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. Cambridge, MA: The MIT Press, 1992"},{"key":"4200_CR3","volume-title":"Adaptation in Natural and Artificial Systems","author":"J. H. Holland","year":"1975","unstructured":"Holland J H. Adaptation in Natural and Artificial Systems. Michigan: The University of Michigan Press, 1975"},{"key":"4200_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3927.001.0001","volume-title":"An Introduction to Genetic Algorithms","author":"M. Mitchell","year":"1996","unstructured":"Mitchell M. An Introduction to Genetic Algorithms. Cambridge: MIT Press, 1996"},{"key":"4200_CR5","first-page":"1","volume":"14","author":"M. Oltean","year":"2004","unstructured":"Oltean M, Grosan C. A comparison of several linear genetic programming techniques. Complex Syst, 2004, 14: 1\u201329","journal-title":"Complex Syst"},{"key":"4200_CR6","first-page":"1","volume-title":"Studies in Computational Intelligence","author":"A. Abraham","year":"2006","unstructured":"Abraham A, Nedjah N, de Macedo M L. Evolutionary computation: from genetic algorithms to genetic programming. In: Nedjah N, et al., eds. Studies in Computational Intelligence. Berlin: Springer-Verlag, 2006. 1\u201320"},{"key":"4200_CR7","first-page":"33","volume-title":"Perspectives on Adaptation in Natural and Artificial System","author":"J. R. Koza","year":"2005","unstructured":"Koza J R. Human-competitive machine intelligence by means of genetic algorithms. In: Booker L, Forrest S, Mitchell M, et al., eds. Perspectives on Adaptation in Natural and Artificial System. Oxford: Oxford University Press, 2005. 33\u201355"},{"key":"4200_CR8","doi-asserted-by":"crossref","unstructured":"Koza J R, Bennett F H III, Andre D, et al. Four problems for which a computer program evolved by genetic programming is competitive with human performance. In: Proceedings of IEEE International Confer. on Evolutionary Computation, Nagoya, Japan, 1996. 1\u201310","DOI":"10.1109\/ICEC.1996.542327"},{"key":"4200_CR9","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/A:1010076532029","volume":"1","author":"J. R. Koza","year":"2000","unstructured":"Koza J R, Keane M A, Yu J, et al. Automatic creation of human-competitive programs and controllers by means of genetic programming. Genet Program Evolv Mach, 2000, 1: 121\u2013164","journal-title":"Genet Program Evolv Mach"},{"key":"4200_CR10","doi-asserted-by":"crossref","unstructured":"Binard F, Felty A. An abstraction-based genetic programming system. In: GECCO\u2019 2007, London, UK, 2007. 2415\u20132422","DOI":"10.1145\/1274000.1274004"},{"key":"4200_CR11","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/s11023-007-9070-6","volume":"17","author":"E. Frias-Martinez","year":"2007","unstructured":"Frias-Martinez E, Gobet F. Automatic generation of cognitive theories using genetic programming. Minds Mach, 2007, 17: 287\u2013309","journal-title":"Minds Mach"},{"key":"4200_CR12","doi-asserted-by":"crossref","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 Trans Evol Comput, 2001, 5: 349\u2013358","journal-title":"IEEE Trans Evol Comput"},{"key":"4200_CR13","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1016\/S0952-1976(02)00013-1","volume":"14","author":"S. Sette","year":"2001","unstructured":"Sette S, Boullart L. Genetic programming: principles and applications. Eng Appl Artif Intell, 2001, 14: 727\u2013736","journal-title":"Eng Appl Artif Intell"},{"key":"4200_CR14","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1162\/evco.1995.3.2.199","volume":"3","author":"D. J. Montana","year":"1995","unstructured":"Montana D J. Strongly typed genetic programming. Evol Comput, 1995, 3: 199\u2013230","journal-title":"Evol Comput"},{"key":"4200_CR15","volume-title":"Genetic Programming II: Automatic Discovery of Reusable Programs","author":"J. R. Koza","year":"1994","unstructured":"Koza J R. Genetic Programming II: Automatic Discovery of Reusable Programs. Cambridge, MA: MIT Press, 1994"},{"key":"4200_CR16","first-page":"27","volume-title":"Data Mining Using Grammar Based Genetic Programming and Applications","author":"M. L. Wang","year":"2002","unstructured":"Wang M L, Leung K S. Data Mining Using Grammar Based Genetic Programming and Applications. Dordrecht: Kluwer Academic Publishers, 2002. 27\u201399"},{"key":"4200_CR17","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-540-71605-1_11","volume-title":"EuroGP 2007. Genetic Programming","author":"C. G. Johnson","year":"2007","unstructured":"Johnson C G. Genetic programming with fitness based on model checking. In: Ebner M, et al. eds. EuroGP 2007. Genetic Programming, LNCS 4445. Berlin: Springer-Verlag, 2007. 114\u2013124"},{"key":"4200_CR18","unstructured":"He P, Kang L S, Fu M. Formality based genetic programming. In: Proc. of IEEE Congress on Evolutionary Computation. Hong Kong. 2008. 4081\u20134088"},{"key":"4200_CR19","doi-asserted-by":"crossref","unstructured":"Katz G, Peled D. Model checking-based genetic programming with an application to mutual exclusion. In: Ramakrishnan C R, Rehof J, eds. TACAS2008, LNCS 4963, Budapest, Hungary, 2008. 141\u2013156","DOI":"10.1007\/978-3-540-78800-3_11"},{"key":"4200_CR20","first-page":"1933","volume":"31","author":"H. W. Chen","year":"2003","unstructured":"Chen H W, Wang J, Dong W. High confidence software engineering technologies (in Chinese). Acta Electr Sin, 2003, 31: 1933\u20131938","journal-title":"Acta Electr Sin"},{"key":"4200_CR21","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"Dijkstra E W. A Discipline of Programming. Englewood Cliffs, NJ: Prentice-Hall, 1976"},{"key":"4200_CR22","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s100090100050","volume":"3","author":"E. Brinksma","year":"2001","unstructured":"Brinksma E. Verification is experimentation. Int J STTT, 2001, 3: 107\u2013111","journal-title":"Int J STTT"},{"key":"4200_CR23","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01211297","volume":"9","author":"R. Kneuper","year":"1997","unstructured":"Kneuper R. Limits of formal methods. Form Aspects Comput, 1997, 9: 379\u2013394","journal-title":"Form Aspects Comput"},{"key":"4200_CR24","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E. M. Clarke","year":"1996","unstructured":"Clarke E M, Wing J M, et al. Formal methods: state of the art and future directions. ACM Comput Surv, 1996, 28: 626\u2013643","journal-title":"ACM Comput Surv"},{"key":"4200_CR25","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning about System","author":"M. Huth","year":"2004","unstructured":"Huth M, Ryan M. Logic in Computer Science: Modelling and Reasoning about System. Cambridge: Cambridge University Press, 2004"},{"key":"4200_CR26","first-page":"1907","volume":"30","author":"H. M. Lin","year":"2002","unstructured":"Lin H M, Zhang W H. Model checking: theories, techniques, and applications (in Chinese). Acta Electr Sin, 2002, 30: 1907\u20131912","journal-title":"Acta Electr Sin"},{"key":"4200_CR27","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser W, Havelund K, Brat G, et al. Model checking programs. Automat Softw Eng, 2003, 10: 203\u2013232","journal-title":"Automat Softw Eng"},{"key":"4200_CR28","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare C A R. An axiomatic basis for computer programming. CACM, 1969, 12: 576\u2013583","journal-title":"CACM"},{"key":"4200_CR29","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/S0022-0000(71)80035-1","volume":"5","author":"Z. Manna","year":"1971","unstructured":"Manna Z. Mathematical theory of partial correctness. J Comput Syst Sci, 1971, 5: 239\u2013253","journal-title":"J Comput Syst Sci"},{"key":"4200_CR30","first-page":"59","volume":"6","author":"A. K. Singh","year":"2005","unstructured":"Singh A K, Ghanekar U, Bandyopadhyay A K. Specifying mobile network using a WP-like formal approach. Revista Colomb Comput, 2005, 6: 59\u201377","journal-title":"Revista Colomb Comput"},{"key":"4200_CR31","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Language: An Introduction","author":"G. Winskel","year":"1993","unstructured":"Winskel G. The Formal Semantics of Programming Language: An Introduction. Cambridge, Massachusetts: The Mit Press, 1993"},{"key":"4200_CR32","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/BF02713936","volume":"44","author":"F. Q. Yang","year":"2001","unstructured":"Yang F Q, Wang Q X, Mei H, et al. Reuse-based software production technology. Sci China Ser F-Inf Sci, 2001, 44: 8\u201319","journal-title":"Sci China Ser F-Inf Sci"},{"key":"4200_CR33","doi-asserted-by":"crossref","first-page":"1298","DOI":"10.1360\/jos171298","volume":"17","author":"H. M. Xiong","year":"2006","unstructured":"Xiong H M, Ying S, Yu L, et al. A composite reuse of architectural connectors using reflection (in Chinese). J Softw, 2006, 17: 1298\u20131306","journal-title":"J Softw"},{"key":"4200_CR34","first-page":"1","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. E. Hopcroft","year":"2007","unstructured":"Hopcroft J E, Motwani R, Ullman J D. Introduction to Automata Theory, Languages, and Computation. 3rd ed. Upper Saddle River, NJ: Pearson Education Inc., 2007. 1\u2013170","edition":"3rd ed."},{"key":"4200_CR35","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A. V. Aho","year":"2007","unstructured":"Aho A V, Lam M S, Sethi R, et al. Compilers: Principles, Techniques, and Tools. 2nd ed. Boston, MA: Addison Wesley, 2007","edition":"2nd ed."},{"key":"4200_CR36","first-page":"213","volume-title":"Computers and Intractability-A Guide to the Theory of NP-completeness","author":"M. Garey","year":"1979","unstructured":"Garey M, Johnson D S. Computers and Intractability-A Guide to the Theory of NP-completeness. San Francisco: Freeman, 1979. 213"},{"key":"4200_CR37","first-page":"480","volume-title":"Testing Computer Software","author":"C. Kaner","year":"1999","unstructured":"Kaner C, Falk J, Nguyen H Q. Testing Computer Software. 2nd ed. New York: John Wiley and Sons, Inc., 1999. 480","edition":"2nd ed."}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4200-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-011-4200-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4200-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,3]],"date-time":"2025-03-03T21:33:13Z","timestamp":1741037593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-011-4200-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["4200"],"URL":"https:\/\/doi.org\/10.1007\/s11432-011-4200-4","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"type":"print","value":"1674-733X"},{"type":"electronic","value":"1869-1919"}],"subject":[],"published":{"date-parts":[[2011,3]]}}}