{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T13:11:51Z","timestamp":1787317911401,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319556956","type":"print"},{"value":"9783319556963","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-55696-3_1","type":"book-chapter","created":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T10:53:48Z","timestamp":1489488828000},"page":"3-18","source":"Crossref","is-referenced-by-count":8,"title":["Evolutionary Program Sketching"],"prefix":"10.1007","author":[{"given":"Iwo","family":"B\u0142\u0105dek","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krzysztof","family":"Krawiec","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,3,15]]},"reference":[{"key":"1_CR1","unstructured":"Gulwani, S., Jha, S., Tiwari, A., Venkatesan, R.: Component based synthesis applied to bitvector programs. Technical report, MSR-TR-2010-12, February 2010"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Jha, S., Gulwani, S., Seshia, S.A., Tiwari, A.: Oracle-guided component-based program synthesis. In: 29th International Conference on Software Engineering (ICSE 2010), pp. 215\u2013224, May 2010","DOI":"10.1145\/1806799.1806833"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Srivastava, S., Gulwani, S., Foster, J.S.: From program verification to program synthesis. In: Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, pp. 313\u2013326. ACM, New York (2010)","DOI":"10.1145\/1706299.1706337"},{"key":"1_CR4","unstructured":"Solar-Lezama, A.: Program synthesis by sketching. Ph.D. thesis, Electrical Engineering and Computer Science, University of California, Berkeley, USA (fall 2008)"},{"key":"1_CR5","unstructured":"Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2016). www.SMT-LIB.org"},{"issue":"5","key":"1_CR6","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/s10009-012-0249-7","volume":"15","author":"A Solar-Lezama","year":"2013","unstructured":"Solar-Lezama, A.: Program sketching. Int. J. Softw. Tools Technol. Transfer 15(5), 475\u2013495 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura","year":"2008","unstructured":"Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78800-3_24"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-71605-1_11","volume-title":"Genetic Programming","author":"CG Johnson","year":"2007","unstructured":"Johnson, C.G.: Genetic programming with fitness based on model checking. In: Ebner, M., O\u2019Neill, M., Ek\u00e1rt, A., Vanneschi, L., Esparcia-Alc\u00e1zar, A.I. (eds.) EuroGP 2007. LNCS, vol. 4445, pp. 114\u2013124. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71605-1_11"},{"key":"1_CR9","unstructured":"Katz, G., Peled, D.: Synthesis of parametric programs using genetic programming and model checking. In: Clemente, L., Holik, L. (eds.) Proceedings 15th International Workshop on Verification of Infinite-State Systems, vol. 140, EPTCS, Hanoi, Vietnam, 14 October 2013, pp. 70\u201384 (2013). Invited talk"},{"key":"1_CR10","volume-title":"Hacker\u2019s Delight","author":"HS Warren","year":"2002","unstructured":"Warren, H.S.: Hacker\u2019s Delight. Addison Wesley, Boston (2002)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-78671-9_12","volume-title":"Genetic Programming","author":"NF McPhee","year":"2008","unstructured":"McPhee, N.F., Ohs, B., Hutchison, T.: Semantic building blocks in genetic programming. In: O\u2019Neill, M., Vanneschi, L., Gustafson, S., Esparcia Alc\u00e1zar, A.I., Falco, I., Cioppa, A., Tarantino, E. (eds.) EuroGP 2008. LNCS, vol. 4971, pp. 134\u2013145. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78671-9_12"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45355-5_14","volume-title":"Genetic Programming","author":"A Sarafopoulos","year":"2001","unstructured":"Sarafopoulos, A.: Evolution of affine transformations and iterated function systems using hierarchical evolution strategy. In: Miller, J., Tomassini, M., Lanzi, P.L., Ryan, C., Tettamanzi, A.G.B., Langdon, W.B. (eds.) EuroGP 2001. LNCS, vol. 2038, pp. 176\u2013191. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45355-5_14"},{"issue":"2","key":"1_CR13","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1162\/EVCO_a_00111","volume":"22","author":"RMA Azad","year":"2014","unstructured":"Azad, R.M.A., Ryan, C.: A simple approach to lifetime learning in genetic programming based symbolic regression. Evolut. Comput. 22(2), 287\u2013317 (2014)","journal-title":"Evolut. Comput."},{"issue":"3","key":"1_CR14","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1109\/TEVC.2014.2321259","volume":"19","author":"TP Pawlak","year":"2015","unstructured":"Pawlak, T.P., Wieloch, B., Krawiec, K.: Semantic backpropagation for designing search operators in genetic programming. IEEE Trans. Evol. Comput. 19(3), 326\u2013340 (2015)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Ffrancon, R., Schoenauer, M.: Memetic semantic genetic programming. In: Silva, S., Esparcia-Alcazar, A.I., Lopez-Ibanez, M., Mostaghim, S., Timmis, J., Zarges, C., Correia, L., Soule, T., Giacobini, M., Urbanowicz, R., Akimoto, Y., Glasmachers, T., Fernandez de Vega, F., Hoover, A., Larranaga, P., Soto, M., Cotta, C., Pereira, F.B., Handl, J., Koutnik, J., Gaspar-Cunha, A., Trautmann, H., Mouret, J.B., Risi, S., Costa, E., Schuetze, O., Krawiec, K., Moraglio, A., Miller, J.F., Widera, P., Cagnoni, S., Merelo, J., Hart, E., Trujillo, L., Kessentini, M., Ochoa, G., Chicano, F., Doerr, C. (eds.) GECCO 2015: Proceedings of the 2015 on Genetic and Evolutionary Computation Conference, Madrid, Spain, 11\u201315 July 2015, pp. 1023\u20131030. ACM (2015). GP Track best paper","DOI":"10.1145\/2739480.2754697"},{"key":"1_CR16","unstructured":"Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB standard: version 2.5. Technical report, Department of Computer Science, The University of Iowa (2015). www.SMT-LIB.org"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"McDermott, J., White, D.R., Luke, S., Manzoni, L., Castelli, M., Vanneschi, L., Jaskowski, W., Krawiec, K., Harper, R., De Jong, K., O\u2019Reilly, U.M.: Genetic programming needs better benchmarks. In: Soule, T., Auger, A., Moore, J., Pelta, D., Solnon, C., Preuss, M., Dorin, A., Ong, Y.S., Blum, C., Silva, D.L., Neumann, F., Yu, T., Ekart, A., Browne, W., Kovacs, T., Wong, M.L., Pizzuti, C., Rowe, J., Friedrich, T., Squillero, G., Bredeche, N., Smith, S.L., Motsinger-Reif, A., Lozano, J., Pelikan, M., Meyer-Nienberg, S., Igel, C., Hornby, G., Doursat, R., Gustafson, S., Olague, G., Yoo, S., Clark, J., Ochoa, G., Pappa, G., Lobo, F., Tauritz, D., Branke, J., Deb, K. (eds.) GECCO 2012: Proceedings of the Fourteenth International Conference on Genetic and Evolutionary Computation Conference, Philadelphia, Pennsylvania, USA, 7\u201311 July 2012, pp. 791\u2013798. ACM (2012)","DOI":"10.1145\/2330163.2330273"},{"key":"1_CR18","series-title":"Studies in Computational Intelligence","volume-title":"Behavioral Program Synthesis with Genetic Programming","author":"K Krawiec","year":"2015","unstructured":"Krawiec, K.: Behavioral Program Synthesis with Genetic Programming. Studies in Computational Intelligence, vol. 618. Springer International Publishing, New York (2015)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Krawiec, K., Polewski, P.: Potential fitness for genetic programming. In: Ebner, M., Cattolico, M., van Hemert, J., Gustafson, S., Merkle, L.D., Moore, F.W., Congdon, C.B., Clack, C.D., Moore, F.W., Rand, W., Ficici, S.G., Riolo, R., Bacardit, J., Bernado-Mansilla, E., Butz, M.V., Smith, S.L., Cagnoni, S., Hauschild, M., Pelikan, M., Sastry, K. (eds.) GECCO 2008 Late-Breaking Papers, Atlanta, GA, USA, 12\u201316 July 2008, pp. 2175\u20132180. ACM (2008)","DOI":"10.1145\/1388969.1389043"}],"container-title":["Lecture Notes in Computer Science","Genetic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-55696-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T08:35:54Z","timestamp":1498379754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-55696-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319556956","9783319556963"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-55696-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}