{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T08:02:50Z","timestamp":1790928170977,"version":"4.1.0"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,18]]},"DOI":"10.1109\/icst69053.2026.00059","type":"proceedings-article","created":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T21:48:20Z","timestamp":1784238500000},"page":"393-404","source":"Crossref","is-referenced-by-count":2,"title":["Improving Dynamic Specification Inference with LLM-Generated Counterexamples"],"prefix":"10.1109","author":[{"given":"Agust\u00edn","family":"Balestra","sequence":"first","affiliation":[{"name":"University of Rio Cuarto,Rio Cuarto,Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Agust\u00edn","family":"Nolasco","sequence":"additional","affiliation":[{"name":"University of Rio Cuarto,Rio Cuarto,Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Facundo","family":"Molina","sequence":"additional","affiliation":[{"name":"Complutense University of Madrid,Madrid,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Diego","family":"Garbervetsky","sequence":"additional","affiliation":[{"name":"University of Buenos Aires,Buenos Aires,Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Renzo","family":"Degiovanni","sequence":"additional","affiliation":[{"name":"Luxembourg Institute of Science and Technology,Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nazareno","family":"Aguirre","sequence":"additional","affiliation":[{"name":"University of Rio Cuarto,Rio Cuarto,Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref5","volume-title":"Replication package of our study"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.46"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663839"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663801"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.13"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3660791"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref14","article-title":"Mutationguided 11 m-based test generation at meta","volume-title":"2025 ACM Conference on Foundations of Software Engineering (FSE 2025)","author":"Foster"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE59848.2023.00039"},{"key":"ref16","volume-title":"Fundamentals of Software Engineering","author":"Ghezzi","year":"2002"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/icse55347.2025.00098"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3695988"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635917"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3338843"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931062"},{"key":"ref22","article-title":"Do 11 ms generate test oracles that capture the actual or the expected program behaviour?","author":"Konstantinou","year":"2024"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.015"},{"key":"ref24","first-page":"114","article-title":"Using contracts and boolean queries to improve the quality of automatic test generation","volume-title":"Tests and Proofs - 1st International Conference, TAp 2007","volume":"4454","author":"Lisa (Ling)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384626"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ASE63991.2025.00222"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510120"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3715107"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00112"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2312918"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3643769"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-70245-7_9"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409758"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3368208"},{"key":"ref35","first-page":"1258","article-title":"HITS: high-coverage llm-based unit test generation via method slicing","volume-title":"Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2024","author":"Wang"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SANER64311.2025.00014"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3660783"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC57700.2023.00275"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.52202\/075280-2020"}],"event":{"name":"2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)","location":"Daejeon, Korea, Republic of","start":{"date-parts":[[2026,5,18]]},"end":{"date-parts":[[2026,5,22]]}},"container-title":["2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11600401\/11600462\/11600523.pdf?arnumber=11600523","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T05:45:37Z","timestamp":1784267137000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11600523\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,18]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icst69053.2026.00059","relation":{},"subject":[],"published":{"date-parts":[[2026,5,18]]}}}