32 citations · 39 across the 6 of their papers we have counts for
Showing 2023 · cs.SEShow all
2 papers · 2 filters
cs.SE2023★ 4 cited
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…
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…