32 citations · 61 across the 19 of their papers we have counts for
5 papers · 1 filter
ACoRe: Automated Goal-Conflict Resolution
Luiz Carvalho, Renzo Degiovanni, Matìas Brizzio +4
System goals are the statements that, in the context of software requirements specification, capture how the software should behave. Many times, the understanding of stakeholders o…
Vulnerability Mimicking Mutants
Aayush Garg, Renzo Degiovanni, Mike Papadakis +1
With the increasing release of powerful language models trained on large code corpus (e.g. CodeBERT was trained on 6.4 million programs), a new family of mutation testing tools has…
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…
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…
Efficient Mutation Testing via Pre-Trained Language Models
Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis +1
Mutation testing is an established fault-based testing technique. It operates by seeding faults into the programs under test and asking developers to write tests that reveal these…