{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:35:12Z","timestamp":1742992512169,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":40,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789811681127"},{"type":"electronic","value":"9789811681134"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-981-16-8113-4_3","type":"book-chapter","created":{"date-parts":[[2022,2,11]],"date-time":"2022-02-11T05:06:04Z","timestamp":1644555964000},"page":"45-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming"],"prefix":"10.1007","author":[{"given":"Alcides","family":"Fonseca","sequence":"first","affiliation":[]},{"given":"Paulo","family":"Santos","sequence":"additional","affiliation":[]},{"given":"Guilherme","family":"Espada","sequence":"additional","affiliation":[]},{"given":"Sara","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,2,11]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.infsof.2018.04.010","volume":"101","author":"A Alhroob","year":"2018","unstructured":"Alhroob, A., Imam, A.T., Al-Heisa, R.: The use of artificial neural networks for extracting actions and actors from requirements document. Inf. Softw. Technol. 101, 1\u201315 (2018)","journal-title":"Inf. Softw. Technol."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bartoli, A., Lorenzo, A.D., Medvet, E., Squillero, G.: Multi-level diversity promotion strategies for grammar-guided genetic programming. Appl. Soft Comput. 83 (2019)","DOI":"10.1016\/j.asoc.2019.105599"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Binard, F., Felty, A.P.: Genetic programming with polymorphic types and higher-order functions. In: Ryan, C., Keijzer, M. (eds.) Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, 12\u201316 July 2008, pp. 1187\u20131194. ACM (2008)","DOI":"10.1145\/1389095.1389330"},{"key":"3_CR4","unstructured":"Bladek, I., Krawiec, K.: Evolutionary program sketching. In: McDermott, J., Castelli, M., Sekanina, L., Haasdijk, E., Garc\u00eda-S\u00e1nchez, P. (eds.) Genetic Programming\u201420th European Conference, EuroGP 2017, Amsterdam, The Netherlands, 19\u201321 April 2017, Proceedings, Lecture Notes in Computer Science, vol. 10196, pp. 3\u201318 (2017)"},{"issue":"1","key":"3_CR5","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.artmed.2003.06.001","volume":"30","author":"CC Bojarczuk","year":"2004","unstructured":"Bojarczuk, C.C., Lopes, H.S., Freitas, A.A., Michalkiewicz, E.L.: A constrained-syntax genetic programming system for discovering classification rules: application to medical data sets. Artif. Intell. Med. 30(1), 27\u201348 (2004)","journal-title":"Artif. Intell. Med."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Durieux, T., Madeiral, F., Martinez, M., Abreu, R.: Empirical review of java program repair tools: a large-scale experiment on 2, 141 bugs and 23, 551 repair attempts. In: Dumas, M., Pfahl, D., Apel, S., Russo, A. (eds.) Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/SIGSOFT FSE 2019, Tallinn, Estonia, 26\u201330 Aug 2019, pp. 302\u2013313. ACM (2019)","DOI":"10.1145\/3338906.3338911"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Fonseca, A., Santos, P., Silva, S.: The usability argument for refinement typed genetic programming. In: B\u00e4ck, T., Preuss, M., Deutz, A.H., Wang, H., Doerr, C., Emmerich, M.T.M., Trautmann, H. (eds.) Parallel Problem Solving from Nature\u2014PPSN XVI\u201416th International Conference, PPSN 2020, Leiden, The Netherlands, 5\u20139 Sept 2020, Proceedings, Part II, Lecture Notes in Computer Science, vol. 12270, pp. 18\u201332. Springer (2020)","DOI":"10.1007\/978-3-030-58115-2_2"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Forstenlechner, S., Fagan, D., Nicolau, M., O\u2019Neill, M.: Extending program synthesis grammars for grammar-guided genetic programming. In: Auger, A., Fonseca, C.M., Louren\u00e7o, N., Machado, P., Paquete, L., Whitley, L.D. (eds.) Parallel Problem Solving from Nature\u2014PPSN XV\u201415th International Conference, Coimbra, Portugal, 8\u201312 Sept 2018, Proceedings, Part I, Lecture Notes in Computer Science, vol. 11101, pp. 197\u2013208. Springer (2018)","DOI":"10.1007\/978-3-319-99253-2_16"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: Evosuite: automatic test suite generation for object-oriented software. In: Gyim\u00f3thy, T., Zeller, A. (eds.) SIGSOFT\/FSE\u201911 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC\u201911: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, 5\u20139 Sept 2011, pp. 416\u2013419. ACM (2011)","DOI":"10.1145\/2025113.2025179"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Galeotti, J.P., Fraser, G., Arcuri, A.: Extending a search-based test generator with adaptive dynamic symbolic execution. In: Pasareanu, C.S., Marinov, D. (eds.) International Symposium on Software Testing and Analysis, ISSTA \u201914, San Jose, CA, USA\u201421\u201324 July 2014, pp. 421\u2013424. ACM (2014)","DOI":"10.1145\/2610384.2628049"},{"issue":"1","key":"3_CR11","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"CL Goues","year":"2012","unstructured":"Goues, C.L., Nguyen, T., Forrest, S., Weimer, W.: Genprog: a generic method for automatic software repair. IEEE Trans. Softw. Eng. 38(1), 54\u201372 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Griffith, D., Gunter, E.L.: Liquidpi: inferrable dependent session types. In: Brat, G., Rungta, N., Venet, A. (eds.) NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, 14\u201316 May 2013. Proceedings, Lecture Notes in Computer Science, vol. 7871, pp. 185\u2013197. Springer (2013)","DOI":"10.1007\/978-3-642-38088-4_13"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Guo, Z., James, M., Justo, D., Zhou, J., Wang, Z., Jhala, R., Polikarpova, N.: Program synthesis by type-guided abstraction refinement. Proc. ACM Program. Lang. 4(POPL), 12:1\u201312:28 (2020)","DOI":"10.1145\/3371080"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Jhala, R., Vazou, N.: Refinement types: a tutorial. CoRR (2020). https:\/\/arxiv.org\/abs\/2010.07763","DOI":"10.1561\/9781680838855"},{"key":"3_CR15","unstructured":"Kloos, J., Majumdar, R., Vafeiadis, V.: Asynchronous liquid separation types. In: Boyland, J.T. (ed.) 29th European Conference on Object-Oriented Programming, ECOOP 2015, 5\u201310 July 2015, Prague, Czech Republic, LIPIcs, vol.\u00a037, pp. 396\u2013420. Schloss Dagstuhl\u2014Leibniz-Zentrum f\u00fcr Informatik (2015)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Knoth, T., Wang, D., Reynolds, A., Hoffmann, J., Polikarpova, N.: Liquid resource types. Proc. ACM Program. Lang. 4(ICFP), 106:1\u2013106:29 (2020)","DOI":"10.1145\/3408988"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Kren, T., Moudr\u00edk, J., Neruda, R.: Combining top-down and bottom-up approaches for automated discovery of typed programs. In: 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017, Honolulu, HI, USA, Nov 27\u2013Dec 1, 2017, pp. 1\u20138. IEEE (2017)","DOI":"10.1109\/SSCI.2017.8285209"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Liu, Y., Parker, J., Redmond, P., Kuper, L., Hicks, M., Vazou, N.: Verifying replicated data types with typeclass refinements in liquid haskell. Proc. ACM Program. Lang. 4(OOPSLA), 216:1\u2013216:30 (2020)","DOI":"10.1145\/3428284"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Louren\u00e7o, N., Assun\u00e7\u00e3o, F., Pereira, F.B., Costa, E., Machado, P.: Structured grammatical evolution: a dynamic approach. In: Ryan, C., O\u2019Neill, M., Collins, J.J. (eds.) Handbook of Grammatical Evolution, pp. 137\u2013161. Springer (2018)","DOI":"10.1007\/978-3-319-78717-6_6"},{"key":"3_CR20","unstructured":"Louren\u00e7o, N., Pereira, F.B., Costa, E.: SGE: A structured representation for grammatical evolution. In: Bonnevay, S., Legrand, P., Monmarch\u00e9, N., Lutton, E., Schoenauer, M. (eds.) Artificial Evolution\u201412th International Conference, Evolution Artificielle, EA 2015, Lyon, France, 26\u201328 Oct 2015. Revised Selected Papers, Lecture Notes in Computer Science, vol. 9554, pp. 136\u2013148. Springer (2015)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"M\u00e9gane, J., Louren\u00e7o, N., Machado, P.: Probabilistic grammatical evolution. In: Hu, T., Louren\u00e7o, N., Medvet, E. (eds.) Genetic Programming\u201424th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, 7\u20139 April 2021, Proceedings, Lecture Notes in Computer Science, vol. 12691, pp. 198\u2013213. Springer (2021)","DOI":"10.1007\/978-3-030-72812-0_13"},{"issue":"2","key":"3_CR22","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1002\/stvr.225","volume":"11","author":"C Meudec","year":"2001","unstructured":"Meudec, C.: ATGen: automatic test data generation using constraint logic programming and symbolic execution. Softw. Test. Verif. Reliab. 11(2), 81\u201396 (2001)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/j.asoc.2017.06.040","volume":"60","author":"PBC de Miranda","year":"2017","unstructured":"de Miranda, P.B.C., Prud\u00eancio, R.B.C.: Generation of particle swarm optimization algorithms: an experimental study using grammar-guided genetic programming. Appl. Soft Comput. 60, 281\u2013296 (2017)","journal-title":"Appl. Soft Comput."},{"issue":"2","key":"3_CR24","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1162\/evco.1995.3.2.199","volume":"3","author":"DJ Montana","year":"1995","unstructured":"Montana, D.J.: Strongly typed genetic programming. Evol. Comput. 3(2), 199\u2013230 (1995)","journal-title":"Evol. Comput."},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Nguyen, H.D.T., Qi, D., Roychoudhury, A., Chandra, S.: SemFix: program repair via semantic analysis. In: Notkin, D., Cheng, B.H.C., Pohl, K. (eds.) 35th International Conference on Software Engineering, ICSE \u201913, San Francisco, CA, USA, 18\u201326 May 2013, pp. 772\u2013781. IEEE Computer Society (2013)","DOI":"10.1109\/ICSE.2013.6606623"},{"issue":"1","key":"3_CR26","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1109\/TEVC.2006.880327","volume":"11","author":"A Ortega","year":"2007","unstructured":"Ortega, A., de la Cruz, M., Alfonseca, M.: Christiansen grammar evolution: grammatical evolution with semantics. IEEE Trans. Evol. Comput. 11(1), 77\u201390 (2007)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"3_CR27","unstructured":"Poli, R., Langdon, W.B., McPhee, N.F.: A Field Guide to Genetic Programming. Lulu Enterprises, UK Ltd. (2008)"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Polikarpova, N., Solar-Lezama, A.: Program synthesis from polymorphic refinement types. CoRR (2015). http:\/\/arxiv.org\/abs\/1510.08419","DOI":"10.1145\/2908080.2908093"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Polikarpova, N., Stefan, D., Yang, J., Itzhaky, S., Hance, T., Solar-Lezama, A.: Liquid information flow control. Proc. ACM Program. Lang. 4(ICFP), 105:1\u2013105:30 (2020)","DOI":"10.1145\/3408987"},{"issue":"15","key":"3_CR30","doi-asserted-by":"crossref","first-page":"11265","DOI":"10.1007\/s00500-020-05061-w","volume":"24","author":"P Ramos-Criado","year":"2020","unstructured":"Ramos-Criado, P., Rolan\u00eda, D.B., Manrique, D., Serrano, E.: Grammatically uniform population initialization for grammar-guided genetic programming. Soft Comput. 24(15), 11265\u201311282 (2020)","journal-title":"Soft Comput."},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Rondon, P.M., Kawaguchi, M., Jhala, R.: Liquid types. In: Gupta, R., Amarasinghe, S.P. (eds.) Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, 7\u201313 June 2008, pp. 159\u2013169. ACM (2008)","DOI":"10.1145\/1375581.1375602"},{"key":"3_CR32","unstructured":"Ryan, C., Collins, J.J., O\u2019Neill, M.: Grammatical evolution: evolving programs for an arbitrary language. In: Banzhaf, W., Poli, R., Schoenauer, M., Fogarty, T.C. (eds.) Genetic Programming, First European Workshop, EuroGP\u201998, Paris, France, 14\u201315 April 1998, Proceedings, Lecture Notes in Computer Science, vol. 1391, pp. 83\u201396. Springer (1998)"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Santos, P., Campos, J., Timperley, C.S., Fonseca, A.: Augmenting search-based techniques with static synthesis-based input generation. In: ICSE \u201921: 42nd International Conference on Software Engineering, Workshops, Madrid, Spain, 17 May\u20144 June 2021. ACM (2021)","DOI":"10.1109\/SBST52555.2021.00009"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Sato, Y.: Specification-based test case generation with constrained genetic programming. In: 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, 11\u201314 Dec 2020, pp. 98\u2013103. IEEE (2020)","DOI":"10.1109\/QRS-C51114.2020.00027"},{"key":"3_CR35","unstructured":"Solar-Lezama, A.: The sketching approach to program synthesis. In: Hu, Z. (ed.) Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, 14\u201316 Dec 2009. Proceedings, Lecture Notes in Computer Science, vol. 5904, pp. 4\u201313. Springer (2009)"},{"issue":"1","key":"3_CR36","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1014538503543","volume":"3","author":"L Spector","year":"2002","unstructured":"Spector, L., Robinson, A.J.: Genetic programming and autoconstructive evolution with the push programming language. Genet. Program. Evolvable Mach. 3(1), 7\u201340 (2002)","journal-title":"Genet. Program. Evolvable Mach."},{"issue":"2","key":"3_CR37","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1142\/S0218194006002781","volume":"16","author":"SR Vergilio","year":"2006","unstructured":"Vergilio, S.R., Pozo, A.T.R.: A grammar-guided genetic programming framework configured for data mining and software testing. Int. J. Softw. Eng. Knowl. Eng. 16(2), 245\u2013268 (2006)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Wappler, S., Wegener, J.: Evolutionary unit testing of object-oriented software using strongly-typed genetic programming. In: Cattolico M. (ed.) Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, 8\u201312 July 2006, pp. 1925\u20131932. ACM (2006)","DOI":"10.1145\/1143997.1144317"},{"issue":"10","key":"3_CR39","doi-asserted-by":"crossref","first-page":"1040","DOI":"10.1109\/TSE.2018.2874648","volume":"46","author":"Y Yuan","year":"2020","unstructured":"Yuan, Y., Banzhaf, W.: ARJA: automated repair of java programs via multi-objective genetic programming. IEEE Trans. Softw. Eng. 46(10), 1040\u20131067 (2020)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"3_CR40","doi-asserted-by":"crossref","first-page":"1245","DOI":"10.1137\/0218082","volume":"18","author":"K Zhang","year":"1989","unstructured":"Zhang, K., Shasha, D.E.: Simple fast algorithms for the editing distance between trees and related problems. SIAM J. Comput. 18(6), 1245\u20131262 (1989)","journal-title":"SIAM J. Comput."}],"container-title":["Genetic and Evolutionary Computation","Genetic Programming Theory and Practice XVIII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-16-8113-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,18]],"date-time":"2024-09-18T08:47:23Z","timestamp":1726649243000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-16-8113-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9789811681127","9789811681134"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-981-16-8113-4_3","relation":{},"ISSN":["1932-0167","1932-0175"],"issn-type":[{"type":"print","value":"1932-0167"},{"type":"electronic","value":"1932-0175"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"11 February 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}