Specification Inference for Evolving Systems
Published in arXiv preprint, 2023
Download here
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
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
Page Archive
Portfolio
Publications
Sitemap
Students
Posts by Tags
Talk map
Talks and presentations
Teaching
Terms and Privacy Policy
Blog posts
Jupyter notebook markdown generator
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Specification Inference for Evolving Systems
Published in arXiv preprint, 2023
This paper explores techniques for automatically inferring behavioral specifications for evolving software systems.
Download here
Abstraction-Aware Inference of Metamorphic Relations
Published in ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2024
Metamorphic testing is a valuable technique that helps address the oracle problem in software testing. This paper introduces MemoRIA, a technique for automatically inferring metamorphic relations using object protocol abstractions, fuzzing, and runtime validation.
Download here
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.
students
Augusto Fungo
Published:
Co-advisor for the undergraduate thesis:
Agustín Balestra
Published:
Co-advisor for the undergraduate thesis:
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Tutorial 1 on Relevant Topic in Your Field
Published:
Talk 2 on Relevant Topic in Your Field
Published:
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.