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

<strong># Solver Experiment - Data Package</strong> This repository is intended to allow replication and extension of the study<br> 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.<br> * Models<br> * Mutants<br> * Test Suites<br> * Execution Traces<br> * Fault-detection Results If you have any questions on this data, please contact us at [e-mail]. <br>