{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T08:13:48Z","timestamp":1777882428768,"version":"3.51.4"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032248381","type":"print"},{"value":"9783032248398","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-24839-8_6","type":"book-chapter","created":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:44:22Z","timestamp":1777445062000},"page":"82-96","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Search-Based Inference of\u00a0Class Invariants: How Far Can Simulated Annealing Take Us?"],"prefix":"10.1007","author":[{"given":"Juan Manuel","family":"Copia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Facundo","family":"Molina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Ponzio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,30]]},"reference":[{"key":"6_CR1","unstructured":"OpenAI\u2019s ChatGPT (2025). https:\/\/openai.com\/index\/chatgpt"},{"key":"6_CR2","unstructured":"Replication package of this paper (2025). https:\/\/zenodo.org\/records\/17300555"},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Abad, P., et al.: Improving test generation under rich contracts by tight bounds and incremental SAT solving. In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, 18\u201322 March 2013, Luxembourg, Luxembourg, pp. 21\u201330. IEEE Computer Society (2013). https:\/\/doi.org\/10.1109\/ICST.2013.46","DOI":"10.1109\/ICST.2013.46"},{"key":"6_CR4","doi-asserted-by":"publisher","unstructured":"Astorga, A., Saha, S., Dinkins, A., Wang, F., Madhusudan, P., Xie, T.: Synthesizing contracts correct modulo a test generator. Proc. ACM Program. Lang. 5(OOPSLA), 1\u201327 (2021). https:\/\/doi.org\/10.1145\/3485481","DOI":"10.1145\/3485481"},{"issue":"5","key":"6_CR5","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"ET Barr","year":"2015","unstructured":"Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Software Eng. 41(5), 507\u2013525 (2015). https:\/\/doi.org\/10.1109\/TSE.2014.2372785","journal-title":"IEEE Trans. Software Eng."},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Blasi, A., et al.: Translating code comments to procedure specifications. In: Tip, F., Bodden, E. (eds.) Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, 16\u201321 July 2018, Amsterdam, The Netherlands, pp. 242\u2013253. ACM (2018). https:\/\/doi.org\/10.1145\/3213846.3213872","DOI":"10.1145\/3213846.3213872"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on java predicates. In: Frankl, P.G. (ed.) Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, 22\u201324 July 2002, Roma, Italy, pp. 123\u2013133. ACM (2002). https:\/\/doi.org\/10.1145\/566172.566191","DOI":"10.1145\/566172.566191"},{"key":"6_CR8","doi-asserted-by":"publisher","unstructured":"Copia, J.M., Molina, F., Aguirre, N., Frias, M.F., Gorla, A., Ponzio, P.: Precise lazy initialization for programs with complex heap inputs. In: 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 9\u20132 October 2023, Florence, Italy, pp. 752\u2013762. IEEE (2023). https:\/\/doi.org\/10.1109\/ISSRE59848.2023.00080","DOI":"10.1109\/ISSRE59848.2023.00080"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Copia, J.M., Molina, F., Gorla, A., Ponzio, P., Aguirre, N.: Search-based inference of class invariants. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO, 14\u201318 July 2025, M\u00e1laga, Spain. ACM (2025)","DOI":"10.1145\/3712255.3726698"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Copia, J.M., Ponzio, P., Aguirre, N., Gorla, A., Frias, M.F.: LISSA: lazy initialization with specialized solver aid. In: 37th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2022, 10\u201314 October 2022, Rochester, MI, USA, pp. 1\u201312. ACM (2022). https:\/\/doi.org\/10.1145\/3551349.3556965","DOI":"10.1145\/3551349.3556965"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"d\u2019Amorim, M., Pacheco, C., Xie, T., Marinov, D., Ernst, M.D.: An empirical comparison of automated generation and classification techniques for object-oriented unit testing. In: 21st IEEE\/ACM International Conference on Automated Software Engineering (ASE 2006), 18\u201322 September 2006, Tokyo, Japan, pp. 59\u201368. IEEE Computer Society (2006). https:\/\/doi.org\/10.1109\/ASE.2006.13","DOI":"10.1109\/ASE.2006.13"},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Dennis, G., Chang, F.S., Jackson, D.: Modular verification of code with SAT. In: Proceedings of the ACM\/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006,17\u201320 July 2006, Portland, Maine, USA, pp. 109\u2013120. ACM (2006). https:\/\/doi.org\/10.1145\/1146238.1146251","DOI":"10.1145\/1146238.1146251"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"Endres, M., Fakhoury, S., Chakraborty, S., Lahiri, S.K.: Can large language models transform natural language intent into formal method postconditions? Proc. ACM Softw. Eng. 1(FSE), 1889\u20131912 (2024). https:\/\/doi.org\/10.1145\/3660791","DOI":"10.1145\/3660791"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Ernst, M.D., et al.: The daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1\u20133), 35\u201345 (2007). https:\/\/doi.org\/10.1016\/j.scico.2007.01.015","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: EvoSuite: automatic test suite generation for object-oriented software. In: SIGSOFT FSE, pp. 416\u2013419. ACM (2011)","DOI":"10.1145\/2025113.2025179"},{"key":"6_CR16","doi-asserted-by":"publisher","unstructured":"Furia, C.A., Nordio, M., Polikarpova, N., Tschannen, J.: AutoProof: auto-active functional verification of object-oriented programs. Int. J. Softw. Tools Technol. Transf. 19(6), 697\u2013716 (2017). https:\/\/doi.org\/10.1007\/s10009-016-0419-0","DOI":"10.1007\/s10009-016-0419-0"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Galeotti, J.P., Rosner, N., Pombo, C.L., Frias, M.F.: Analysis of invariants for efficient bounded verification. In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, 12\u201316 July 2010, Trento, Italy, pp. 25\u201336. ACM (2010). https:\/\/doi.org\/10.1145\/1831708.1831712","DOI":"10.1145\/1831708.1831712"},{"key":"6_CR18","doi-asserted-by":"publisher","unstructured":"Garg, A., Degiovanni, R., Molina, F., Cordy, M., Aguirre, N., Papadakis, M., Traon, Y.L.: Enabling efficient assertion inference. In: 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 9\u201312 October 2023, Florence, Italy, pp. 623\u2013634. IEEE (2023). https:\/\/doi.org\/10.1109\/ISSRE59848.2023.00039","DOI":"10.1109\/ISSRE59848.2023.00039"},{"key":"6_CR19","unstructured":"Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering, 2nd edn. Prentice Hall PTR, Upper Saddle River (2002)"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Kirkpatrick, S., Jr., D.G., Vecchi, M.P.: Optimization by simmulated annealing. Sci. 220(4598), 671\u2013680 (1983). https:\/\/doi.org\/10.1126\/SCIENCE.220.4598.671","DOI":"10.1126\/SCIENCE.220.4598.671"},{"key":"6_CR21","doi-asserted-by":"publisher","unstructured":"Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the design of JML accommodates both runtime assertion checking and formal verification. Sci. Comput. Program. 55(1\u20133), 185\u2013208 (2005). https:\/\/doi.org\/10.1016\/j.scico.2004.05.015","DOI":"10.1016\/j.scico.2004.05.015"},{"key":"6_CR22","unstructured":"Liskov, B., Guttag, J.V.: Program Development in Java - Abstraction, Specification, and Object-Oriented Design. Addison-Wesley (2001)"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Liu, L.L., Meyer, B., Schoeller, B.: Using contracts and Boolean queries to improve the quality of automatic test generation. In: Gurevich, Y., Meyer, B. (eds.) Tests and Proofs - 1st International Conference, TAP 2007, 12\u201313 February 2007, Zurich, Switzerland. Revised Papers. Lecture Notes in Computer Science, vol.\u00a04454, pp. 114\u2013130. Springer (2007). https:\/\/doi.org\/10.1007\/978-3-540-73770-4_7","DOI":"10.1007\/978-3-540-73770-4_7"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Malik, M.Z., Pervaiz, A., Uzuncaova, E., Khurshid, S.: Deryaft: a tool for generating representation invariants of structurally complex data. In: Sch\u00e4fer, W., Dwyer, M.B., Gruhn, V. (eds.) 30th International Conference on Software Engineering (ICSE 2008), 10\u201318 May 2008, Leipzig, Germany, pp. 859\u2013862. ACM (2008). https:\/\/doi.org\/10.1145\/1368088.1368223","DOI":"10.1145\/1368088.1368223"},{"key":"6_CR25","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd ed. Prentice-Hall (1997)"},{"key":"6_CR26","doi-asserted-by":"publisher","unstructured":"Molina, F., et al.: An evolutionary approach to translating operational specifications into declarative specifications. Sci. Comput. Program. 181, 47\u201363 (2019). https:\/\/doi.org\/10.1016\/J.SCICO.2019.05.006","DOI":"10.1016\/J.SCICO.2019.05.006"},{"key":"6_CR27","doi-asserted-by":"publisher","unstructured":"Molina, F., d\u2019Amorim, M., Aguirre, N.: Fuzzing class specifications. In: 44th IEEE\/ACM 44th International Conference on Software Engineering, ICSE 2022, 25\u201327 May 2022, Pittsburgh, PA, USA, pp. 1008\u20131020. ACM (2022). https:\/\/doi.org\/10.1145\/3510003.3510120","DOI":"10.1145\/3510003.3510120"},{"key":"6_CR28","doi-asserted-by":"publisher","unstructured":"Molina, F., Degiovanni, R., Ponzio, P., Regis, G., Aguirre, N., Frias, M.F.: Training binary classifiers as data structure invariants. In: Atlee, J.M., Bultan, T., Whittle, J. (eds.) Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, 25\u201331 May 2019, Montreal, QC, Canada, pp. 759\u2013770. IEEE\/ACM (2019). https:\/\/doi.org\/10.1109\/ICSE.2019.00084","DOI":"10.1109\/ICSE.2019.00084"},{"key":"6_CR29","doi-asserted-by":"publisher","unstructured":"Molina, F., Gorla, A., d\u2019Amorim, M.: Test oracle automation in the era of LLMs. ACM Trans. Softw. Eng. Methodol. (2025). https:\/\/doi.org\/10.1145\/3715107. just Accepted","DOI":"10.1145\/3715107"},{"key":"6_CR30","doi-asserted-by":"publisher","unstructured":"Molina, F., Ponzio, P., Aguirre, N., Frias, M.F.: EvoSpex: an evolutionary algorithm for learning postconditions. In: 43rd IEEE\/ACM International Conference on Software Engineering, ICSE 2021, 22\u201330 May 2021, Madrid, Spain, pp. 1223\u20131235. IEEE (2021). https:\/\/doi.org\/10.1109\/ICSE43902.2021.00112","DOI":"10.1109\/ICSE43902.2021.00112"},{"key":"6_CR31","unstructured":"Molinelli, D., Martin-Lopez, A., Zackrone, E., Eken, B., Ernst, M.D., Pezz\u00e8, M.: Tratto: a neuro-symbolic approach to deriving axiomatic test oracles. In: Proceedings of the 2025 International Symposium on Software Testing and Analysis, ISSTA 2025, 25\u201328 June 2025, Trondheim, Norway. ACM (2025)"},{"key":"6_CR32","unstructured":"OpenAI: GPT-4 technical report (2024). https:\/\/arxiv.org\/abs\/2303.08774"},{"key":"6_CR33","doi-asserted-by":"publisher","unstructured":"Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: 29th International Conference on Software Engineering (ICSE 2007), 20\u201326 May 2007, Minneapolis, MN, USA, pp. 75\u201384. IEEE Computer Society (2007). https:\/\/doi.org\/10.1109\/ICSE.2007.37","DOI":"10.1109\/ICSE.2007.37"},{"key":"6_CR34","doi-asserted-by":"publisher","unstructured":"Pasareanu, C.S.: Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers (2020). https:\/\/doi.org\/10.2200\/S01010ED2V01Y202005SWE006","DOI":"10.2200\/S01010ED2V01Y202005SWE006"},{"key":"6_CR35","doi-asserted-by":"publisher","unstructured":"Pasareanu, C.S., Visser, W., Bushnell, D.H., Geldenhuys, J., Mehlitz, P.C., Rungta, N.: Symbolic pathfinder: integrating symbolic execution with model checking for java bytecode analysis. Autom. Softw. Eng. 20(3), 391\u2013425 (2013). https:\/\/doi.org\/10.1007\/S10515-013-0122-2","DOI":"10.1007\/S10515-013-0122-2"},{"key":"6_CR36","unstructured":"Pei, K., Bieber, D., Shi, K., Sutton, C., Yin, P.: Can large language models reason about program invariants? In: Krause, A., Brunskill, E., Cho, K., Engelhardt, B., Sabato, S., Scarlett, J. (eds.) International Conference on Machine Learning, ICML 2023, 23\u201329 July 2023, Honolulu, Hawaii, USA. Proceedings of Machine Learning Research, vol.\u00a0202, pp. 27496\u201327520. PMLR (2023). https:\/\/proceedings.mlr.press\/v202\/pei23a.html"},{"key":"6_CR37","unstructured":"Rozi\u00e8re, B., et al.: Code Llama: open foundation models for code (2024). https:\/\/arxiv.org\/abs\/2308.12950"},{"key":"6_CR38","doi-asserted-by":"publisher","unstructured":"Terragni, V., Jahangirova, G., Tonella, P., Pezz\u00e8, M.: Evolutionary improvement of assertion oracles. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2020, pp. 1178\u20131189. Association for Computing Machinery, New York (2020). https:\/\/doi.org\/10.1145\/3368089.3409758","DOI":"10.1145\/3368089.3409758"},{"key":"6_CR39","doi-asserted-by":"publisher","unstructured":"Usman, M., Wang, W., Vasic, M., Wang, K., Vikalo, H., Khurshid, S.: A study of the learnability of relational properties: model counting meets machine learning (MCML). In: Donaldson, A.F., Torlak, E. (eds.) Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, 15\u201320 June 2020, London, UK, pp. 1098\u20131111. ACM (2020). https:\/\/doi.org\/10.1145\/3385412.3386015","DOI":"10.1145\/3385412.3386015"},{"key":"6_CR40","doi-asserted-by":"publisher","unstructured":"Wei, Y., Furia, C.A., Kazmin, N., Meyer, B.: Inferring better contracts. In: Taylor, R.N., Gall, H.C., Medvidovic, N. (eds.) Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, 21\u201328 May 2011, Waikiki, Honolulu , HI, USA, pp. 191\u2013200. ACM (2011). https:\/\/doi.org\/10.1145\/1985793.1985820","DOI":"10.1145\/1985793.1985820"}],"container-title":["Lecture Notes in Computer Science","Search-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-24839-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T01:11:51Z","timestamp":1777597911000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-24839-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032248381","9783032248398"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-24839-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"30 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SSBSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Search Based Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seoul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ssbse2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ssbse-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}