Tools and Datasets

If you use any of the tools and datasets provided here, please cite the corresponding paper.


μBERT is a mutation testing tool that uses CodeBERT, a pre-trained language model, to generate mutants (Mutation 2022).

Cerebro is a machine learning approach that statically selects subsuming mutants, i.e., the set of mutants that resides on the top of the subsumption hierarchy, based on the mutants’ surrounding code context (TSE 2021).

Trovon is a vulnerability prediction technique that learns from known vulnerable components rather than from vulnerable and non-vulnerable components, as typically performed (EMSE 2022).

Commit-relevant mutants: dataset employed in our exploratory study (TOSEM 2022).

Requirements Analysis

ACoRe is a tool that implements multi-objective search algorithms for resolving goal-conflicts in formal requirements specifications (FASE 2023).

BCLearner implements a genetic algorithm for identifying goal conflicts (ASE 2018).

BCTableaux implements a satisfiability tableaux-based algorithm for computing goal-conflicts (ASE 2016).

This tool can be used for assessing the likelihood and severity of goal-conflicts by using model counting (ICSE 2018).

Here we provide the dataset and the experimental results of our automatic Goal Operationalisation approach (ICSE 2014).

CLTSA is a Labelled Transition System Analyser with Counting Fluents Support (ICSE 2015 and FSE 2017).

This tool implements an automatic abstraction process to analyse SCR requirements specifications. It can be use for verification or test generation (TAP 2011 and STVR 2018).