2 citations · 3 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…