Understanding The Impact of Solver Choice in Model-Based Test Generation

# Solver Experiment - Data Package

This repository is intended to allow replication and extension of the study
conducted in the following paper:

Ying Meng and Gregory Gay. Understanding The Impact of Solver Choice in Model-Based Test Generation. To appear, 2020 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). Available from https://greg4cr.github.io/pdf/20solvers.pdf.

This package includes all data used or generated in this experiment.
  * Models
  * Mutants
  * Test Suites
  * Execution Traces
  * Fault-detection Results

If you have any questions on this data, please contact us at [e-mail].