Dataset Open Access

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

Meng, Ying; Gay, Gregory


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3484641", 
  "author": [
    {
      "family": "Meng, Ying"
    }, 
    {
      "family": "Gay, Gregory"
    }
  ], 
  "issued": {
    "date-parts": [
      [
        2019, 
        10, 
        14
      ]
    ]
  }, 
  "abstract": "<p><strong># Solver Experiment - Data Package</strong></p>\n\n<p>This repository is intended to allow replication and extension of the study<br>\nconducted in the following paper:</p>\n\n<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>\n\n<p>This package includes all data used or generated in this experiment.<br>\n&nbsp; * Models<br>\n&nbsp; * Mutants<br>\n&nbsp; * Test Suites<br>\n&nbsp; * Execution Traces<br>\n&nbsp; * Fault-detection Results</p>\n\n<p>If you have any questions on this data, please contact us at greg@greggay.com.&nbsp;<br>\n&nbsp;</p>", 
  "title": "Understanding The Impact of Solver Choice in Model-Based Test Generation", 
  "type": "dataset", 
  "id": "3484641"
}
56
920
views
downloads
All versions This version
Views 5656
Downloads 920920
Data volume 133.4 GB133.4 GB
Unique views 5252
Unique downloads 1313

Share

Cite as