2 papers
cs.SE2026
Agentic Generation and Evolution of Knowledge Models
Man Zhang, Tao Yue, Nazareno M. Aguirre +2
Complex software systems such as autonomous vehicles, robotics increasingly interact with dynamic physical, cyber, and social environments. Reasoning about their behavior, maintain…
cs.SE2026
Improving Dynamic Specification Inference with LLM-Generated Counterexamples
AgustÃn Balestra, AgustÃn Nolasco, Facundo Molina +3
Contract assertions, such as preconditions, postconditions, and invariants, play a crucial role in software development, enabling applications such as program verification, test ge…