3 papers
cs.SE2025
State Field Coverage: A Metric for Oracle Quality
Facundo Molina, Nazareno Aguirre, Alessandra Gorla
The effectiveness of testing in uncovering software defects depends not only on the characteristics of the test inputs and how thoroughly they exercise the software, but also on th…
cs.SE2023
Specification Inference for Evolving Systems
Renzo Degiovanni, Facundo Molina, Agustin Nolasco +2
In this paper, we propose an assertion-based approach to capture software evolution, through the notion of commit-relevant specification. A commit-relevant specification summarises…
cs.SE2023
Assertion Inferring Mutants
Aayush Garg, Renzo Degiovanni, Facundo Molina +4
Specification inference techniques aim at (automatically) inferring a set of assertions that capture the exhibited software behaviour by generating and filtering assertions through…