research
∙
03/09/2023
ACoRe: Automated Goal-Conflict Resolution
System goals are the statements that, in the context of software require...
share
research
∙
03/07/2023
Vulnerability Mimicking Mutants
With the increasing release of powerful language models trained on large...
research
∙
01/29/2023
Specification Inference for Evolving Systems
In this paper, we propose an assertion-based approach to capture softwar...
research
∙
01/28/2023
Assertion Inferring Mutants
Specification inference techniques aim at (automatically) inferring a se...
research
∙
01/09/2023
Efficient Mutation Testing via Pre-Trained Language Models
Mutation testing is an established fault-based testing technique. It ope...
research
∙
07/22/2022
Learning from what we know: How to perform vulnerability prediction using noisy historical data
Vulnerability prediction refers to the problem of identifying system com...
research
∙
03/07/2022
μBERT: Mutation Testing using Pre-Trained Language Models
We introduce μBERT, a mutation testing tool that uses a pre-trained lang...
research
∙
12/29/2021
Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution
When software evolves, opportunities for introducing faults appear. Ther...
research
∙
12/29/2021
Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies
Fault seeding is typically used in controlled studies to evaluate and co...
research
∙
12/28/2021
Cerebro: Static Subsuming Mutant Selection
Mutation testing research has indicated that a major part of its applica...
research
∙
05/26/2021
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
The reactive synthesis problem consists of automatically producing corre...
research
∙
12/21/2020