Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
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.