Improving Dynamic Specification Inference with LLM-Generated Counterexamples
Published in IEEE International Conference on Software Testing, Verification and Validation (ICST), 2026
Accepted at ICST 2026.
This work studies how large language models (LLMs) can generate counterexamples that improve the precision of dynamic specification inference techniques.