Improving Dynamic Specification Inference with LLM-Generated Counterexamples

2026 IEEE International Conference on Software Testing, Verification and Validation (ICST) 2026

View at publisher
Authors: Agustin Balestra, Agustín Nolasco, Facundo Molina, Diego Garbervetsky, Renzo Degiovanni, Nazareno Aguirre
DOI: 10.1109/icst69053.2026.00059
Cited by: 1
References: 28

Publication details

Journal / source
2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)
Publisher
IEEE
Pages
393–404
Publication date
18 May 2026