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].