Case Studies
A Genetic Algorithm for Goal-Conflict Identification
Here we provide the tool and all the case studies of our paper at ASE 2018.
Goal-Conflict Likelihood Assessment
Here we provide the tool and all the case studies of our paper at ICSE 2018.
Goal-Conflict Detection
Here we provide the tool and all the case studies of our paper at ASE 2016.
Goal Operationalisation
Here we report the experimental results of our paper at ICSE 2014.
CLTSA - LabelledTransition System Analyser with Counting Fluents Support
Here you can find the tool, a description of our model checking approach, and the experimental results of our papers at ICSE 2015 and FSE 2017.
Software Cost Reduction (SCR) Analysis
This is a tool that performs automatically an abstraction process to analyse SCR specifications. The tool can be use for verification or test generation tasks. It supports some case studies tipically found in the literature. Some of the experiments were reported in our papers at TAP 2011 and STVR 2018.
If you use any of the examples provided here, please cite the corresponding paper.