research data . Dataset . Under curation

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

Meng, Ying; Gay, Gregory;
Open Access
  • Publisher: Zenodo
Abstract
# 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 greg@greggay.com.
Persistent Identifiers
Download from
Any information missing or wrong?Report an Issue