Announcement_12

The research paper “”Improving Dynamic Specification Inference with LLM-Generated Counterexamples (by A. Balestra, A. Nolasco, F. Molina, D. Garbervetsky, R. Degiovanni and N. Aguirre) has been accepted for publication at the 19th IEEE International Conference on Software Testing, Verification and Validation ICST 2026.