Specification Inference for Evolving Systems
Published in arXiv preprint, 2023
Download here
Page Archive
Abstraction-Aware Inference of Metamorphic Relations
Published in ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2024
Download here
Improving Dynamic Specification Inference with LLM-Generated Counterexamples
Published in IEEE International Conference on Software Testing, Verification and Validation (ICST), 2026
Page Not Found
Page not found. Your pixels are in another canvas.
Archive Layout with Content
Posts by Category
Posts by Collection
Markdown
Page not in menu
This is a page not in th emain menu