{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:51Z","timestamp":1750219791409,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3604928","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1519-1522","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["EvoSpex: A Search-Based Tool for Postcondition Inference"],"prefix":"10.1145","author":[{"given":"Facundo","family":"Molina","sequence":"first","affiliation":[{"name":"IMDEA Software Institute, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Ponzio","sequence":"additional","affiliation":[{"name":"University of Rio Cuarto, Argentina \/ CONICET, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[{"name":"University of Rio Cuarto, Argentina \/ CONICET, Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo F.","family":"Frias","sequence":"additional","affiliation":[{"name":"University of Texas at El Paso, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_16"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of Symposia in Applied Mathematics 19","author":"Floyd Robert W.","year":"1967","unstructured":"Robert W. Floyd . 1967 . Assigning meanings to programs. In Mathematical Aspects of Computer Science , Proceedings of Symposia in Applied Mathematics 19 , J. T. Schwartz (Ed.). Providence. 19\u201332. Robert W. Floyd. 1967. Assigning meanings to programs. In Mathematical Aspects of Computer Science, Proceedings of Symposia in Applied Mathematics 19, J. T. Schwartz (Ed.). Providence. 19\u201332."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-016-0419-0"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"volume-title":"Software Abstractions - Logic, Language, and Analysis","author":"Jackson Daniel","key":"e_1_3_2_1_6_1","unstructured":"Daniel Jackson . 2006. Software Abstractions - Logic, Language, and Analysis . MIT Press . isbn:978-0-262-10114-1 http:\/\/mitpress.mit.edu\/catalog\/item\/default.asp?ttype=2&tid=10928 Daniel Jackson. 2006. Software Abstractions - Logic, Language, and Analysis. MIT Press. isbn:978-0-262-10114-1 http:\/\/mitpress.mit.edu\/catalog\/item\/default.asp?ttype=2&tid=10928"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931062"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180211"},{"key":"e_1_3_2_1_9_1","volume-title":"Object-Oriented Software Construction","author":"Meyer Bertrand","unstructured":"Bertrand Meyer . 1997. Object-Oriented Software Construction , 2 nd Edition. Prentice-Hall . isbn:0-13-629155-4 Bertrand Meyer. 1997. Object-Oriented Software Construction, 2nd Edition. Prentice-Hall. isbn:0-13-629155-4","edition":"2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00112"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384624"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Seattle WA USA","acronym":"ISSTA '23"},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3604928","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3604928","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:59Z","timestamp":1750178279000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3604928"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":11,"alternative-id":["10.1145\/3597926.3604928","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3604928","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}