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

<p><strong># Solver Experiment - Data Package</strong></p> <p>This repository is intended to allow replication and extension of the study<br> conducted in the following paper:</p> <p>Ying Meng and Gregory Gay. Understanding The Impact&nbsp;of Solver Choice in Model-Based Test Generation. To appear, 2020&nbsp;ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). Available from&nbsp;<a href="https://greg4cr.github.io/pdf/20solvers.pdf">https://greg4cr.github.io/pdf/20solvers.pdf</a>.</p> <p>This package includes all data used or generated in this experiment.<br> &nbsp; * Models<br> &nbsp; * Mutants<br> &nbsp; * Test Suites<br> &nbsp; * Execution Traces<br> &nbsp; * Fault-detection Results</p> <p>If you have any questions on this data, please contact us at greg@greggay.com.&nbsp;<br> &nbsp;</p>