Case Studies

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.