This repository contains the artifacts used in the METFORD's paper. The high-level directory structure is as follows:
paper-metford/
├── AndroidMicroBenchmark
├── bin
├── kadabra-config
├── kadabra-output
├── LICENSE
├── mutation-testing-v2
├── README.md
├── reports
├── scripts
└── subjects
Below, we briefly describe each subdirectory's content. On entering a subdirectory, there is another README.md better explaining its content.
This directory contains a Gradle project with the micro-benchmark we used to evaluate alternative approaches to implementing mutant schemata.
The directory contains the Kadabra tool used in our experiment.
The directory contains the Kadabra configuration files for each app and each mutation strategy (schemata or traditional).
The directory contains all generated mutants for each app concerning the Kadabra configuration files.
The directory contains Kadabra mutation operator implementations and patches.
The directory contains all generated reports for each app and mutation strategy. Reports are generated after scripts are executed.
The directory contains the complete set of scripts used in the experiment.
The directory contains a frozen version of each app used in the experiment.