{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T18:52:10Z","timestamp":1777488730399,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["RYC2020- 030800-I"],"award-info":[{"award-number":["RYC2020- 030800-I"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["TED2021- 132464B-I00"],"award-info":[{"award-number":["TED2021- 132464B-I00"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["PID2022-142290OB-I00"],"award-info":[{"award-number":["PID2022-142290OB-I00"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,14]]},"DOI":"10.1145\/3712255.3726698","type":"proceedings-article","created":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T15:18:11Z","timestamp":1754925491000},"page":"803-806","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Search-based Inference of Class Invariants"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7378-2603","authenticated-orcid":false,"given":"Juan Manuel","family":"Copia","sequence":"first","affiliation":[{"name":"IMDEA Software Institute, Madrid, Spain"},{"name":"Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2441-1555","authenticated-orcid":false,"given":"Facundo","family":"Molina","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6711-3080","authenticated-orcid":false,"given":"Alessandra","family":"Gorla","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0532-5296","authenticated-orcid":false,"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[{"name":"Universidad Nacional de Rio Cuarto, Rio Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0112-7153","authenticated-orcid":false,"given":"Pablo","family":"Ponzio","sequence":"additional","affiliation":[{"name":"Universidad Nacional de Rio Cuarto, Rio Cuarto, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,8,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicol\u00e1s Rosner, and Ignacio Vissani.","author":"Abad Pablo","year":"2013","unstructured":"Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicol\u00e1s Rosner, and Ignacio Vissani. 2013. Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. In ICST. 21\u201330."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485481"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Arianna Blasi Alberto Goffi Konstantin Kuznetsov Alessandra Gorla Michael D. Ernst Mauro Pezz\u00e8 and Sergio Delgado Castellanos. 2018. Translating code comments to procedure specifications. In ISSTA 242\u2013253.","DOI":"10.1145\/3213846.3213872"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Chandrasekhar Boyapati Sarfraz Khurshid and Darko Marinov. 2002. Korat: automated testing based on Java predicates. In ISSTA 123\u2013133.","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Juan Manuel Copia Facundo Molina Nazareno Aguirre Marcelo F. Frias Alessandra Gorla and Pablo Ponzio. 2023. Precise Lazy Initialization for Programs with Complex Heap Inputs. In ISSRE.752\u2013762.","DOI":"10.1109\/ISSRE59848.2023.00080"},{"key":"e_1_3_2_1_7_1","first-page":"1","article-title":"LISSA","volume":"67","author":"Copia Juan Manuel","year":"2022","unstructured":"Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, and Marcelo F. Frias. 2022. LISSA: Lazy Initialization with Specialized Solver Aid. In ASE. 67:1\u201367:12.","journal-title":"Lazy Initialization with Specialized Solver Aid. In ASE."},{"key":"e_1_3_2_1_8_1","volume-title":"Ernst","author":"Amorim Marcelo","year":"2006","unstructured":"Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, and Michael D. Ernst. 2006. An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. In ASE. 59\u201368."},{"key":"e_1_3_2_1_9_1","volume-title":"Felix Sheng-Ho Chang, and Daniel Jackson","author":"Dennis Greg","year":"2006","unstructured":"Greg Dennis, Felix Sheng-Ho Chang, and Daniel Jackson. 2006. Modular verification of code with SAT. In ISSTA, 109\u2013120."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. ACM Softw. Eng. 1, FSE (2024)","author":"Endres Madeline","unstructured":"Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, and Shuvendu K. Lahiri. 2024. Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? Proc. ACM Softw. Eng. 1, FSE (2024), 1889\u20131912."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Gordon Fraser and Andrea Arcuri. 2011. EvoSuite: automatic test suite generation for object-oriented software. In SIGSOFT FSE. ACM 416\u2013419.","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-016-0419-0"},{"key":"e_1_3_2_1_14_1","volume-title":"Carlos L\u00f3pez Pombo, and Marcelo F. Frias","author":"Galeotti Juan P.","year":"2010","unstructured":"Juan P. Galeotti, Nicol\u00e1s Rosner, Carlos L\u00f3pez Pombo, and Marcelo F. Frias. 2010. Analysis of invariants for efficient bounded verification. In ISSTA, 25\u201336."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Aayush Garg Renzo Degiovanni Facundo Molina Maxime Cordy Nazareno Aguirre Mike Papadakis and Yves Le Traon. 2023. Enabling Efficient Assertion Inference. In ISSRE. 623\u2013634.","DOI":"10.1109\/ISSRE59848.2023.00039"},{"key":"e_1_3_2_1_16_1","volume-title":"Fundamentals of Software Engineering","author":"Ghezzi Carlo","unstructured":"Carlo Ghezzi, Mehdi Jazayeri, and Dino Mandrioli. 2002. Fundamentals of Software Engineering (2nd ed.).","edition":"2"},{"key":"e_1_3_2_1_17_1","first-page":"1","article-title":"How the design of JML accommodates both runtime assertion checking and formal verification. Sci","volume":"55","author":"Leavens Gary T.","year":"2005","unstructured":"Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok. 2005. How the design of JML accommodates both runtime assertion checking and formal verification. Sci. Comput. Program. 55, 1\u20133 (2005), 185\u2013208.","journal-title":"Comput. Program."},{"key":"e_1_3_2_1_18_1","unstructured":"Lisa (Ling) Liu Bertrand Meyer and Bernd Schoeller. 2007. Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. In TAP."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Muhammad Zubair Malik Aman Pervaiz Engin Uzuncaova and Sarfraz Khurshid. 2008. Deryaft: a tool for generating representation invariants of structurally complex data. In (ICSE) 859\u2013862.","DOI":"10.1145\/1368088.1368223"},{"key":"e_1_3_2_1_20_1","volume-title":"Object-Oriented Software Construction","author":"Meyer Bertrand","unstructured":"Bertrand Meyer. 1997. Object-Oriented Software Construction, 2nd Edition.","edition":"2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.05.006"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Facundo Molina Marcelo d'Amorim and Nazareno Aguirre. 2022. Fuzzing Class Specifications. In ICSE. 1008\u20131020.","DOI":"10.1145\/3510003.3510120"},{"key":"e_1_3_2_1_23_1","volume-title":"Frias","author":"Molina Facundo","year":"2019","unstructured":"Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germ\u00e1n Regis, Nazareno Aguirre, and Marcelo F. Frias. 2019. Training binary classifiers as data structure invariants. In ICSE, 759\u2013770."},{"key":"e_1_3_2_1_24_1","volume-title":"Frias","author":"Molina Facundo","year":"2021","unstructured":"Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias. 2021. EvoSpex: An Evolutionary Algorithm for Learning Postconditions. In ICSE."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3715107"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Carlos Pacheco Shuvendu K. Lahiri Michael D. Ernst and Thomas Ball. 2007. Feedback-Directed Random Test Generation. In (ICSE). 75\u201384.","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_27_1","volume-title":"Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security","author":"Pasareanu Corina S.","unstructured":"Corina S. Pasareanu. 2020. Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security. Morgan & Claypool Publishers."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0122-2"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Valerio Terragni Gunel Jahangirova Paolo Tonella and Mauro Pezz\u00e8. 2020. Evolutionary Improvement of Assertion Oracles. In ESEC\/FSE.1178\u20131189.","DOI":"10.1145\/3368089.3409758"}],"event":{"name":"GECCO '25 Companion: Genetic and Evolutionary Computation Conference Companion","location":"NH Malaga Hotel Malaga Spain","acronym":"GECCO '25 Companion","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the Genetic and Evolutionary Computation Conference Companion"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3712255.3726698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T12:02:33Z","timestamp":1759838553000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3712255.3726698"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,14]]},"references-count":29,"alternative-id":["10.1145\/3712255.3726698","10.1145\/3712255"],"URL":"https:\/\/doi.org\/10.1145\/3712255.3726698","relation":{},"subject":[],"published":{"date-parts":[[2025,7,14]]},"assertion":[{"value":"2025-08-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}