Dataset Open Access

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

Meng, Ying; Gay, Gregory


JSON-LD (schema.org) Export

{
  "description": "<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>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "University of South Carolina", 
      "@type": "Person", 
      "name": "Meng, Ying"
    }, 
    {
      "affiliation": "Chalmers and the University of Gothenburg", 
      "@id": "https://orcid.org/0000-0001-6794-9585", 
      "@type": "Person", 
      "name": "Gay, Gregory"
    }
  ], 
  "url": "https://zenodo.org/record/3484641", 
  "datePublished": "2019-10-14", 
  "keywords": [
    "Test Generation", 
    "Software Testing", 
    "Model-Based Test Generation"
  ], 
  "@context": "https://schema.org/", 
  "distribution": [
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4__6counter.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_car_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_cd.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_DockingApproach.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_DRAGON_all2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_DRAGON_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_durationThm_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_ex3.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_ex8.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_fast_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_fast_2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_FIREFLY_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_Gas.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_hysteresis_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_ILLINOIS_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_MESI_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_metros_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_MOESI_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_peterson_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_PRODUCER_CONSUMER_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_production_cell.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_readwrit.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_rtp_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_speed2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_stalmark.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_steam_boiler_no_arr2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_swimmingpool_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_switch2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_switch.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_SYNAPSE_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_ticket3i_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_traffic.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_tramway.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_twisted_counters.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_two_counters.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/cvc4_ums.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat__6counter.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_car_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_cd.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_DockingApproach.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_DRAGON_all2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_DRAGON_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_durationThm_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_ex3.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_ex8.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_fast_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_fast_2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_FIREFLY_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_Gas.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_hysteresis_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_ILLINOIS_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_MESI_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_metros_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_MOESI_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_peterson_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_PRODUCER_CONSUMER_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_production_cell.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_readwrit.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_rtp_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_speed2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_stalmark.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_steam_boiler_no_arr2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_swimmingpool_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_switch2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_switch.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_SYNAPSE_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_ticket3i_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_traffic.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_tramway.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_twisted_counters.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_two_counters.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/mathsat_ums.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/README.md", 
      "encodingFormat": "md", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2__6counter.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_car_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_cd.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_DockingApproach.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_DRAGON_all2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_DRAGON_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_durationThm_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_ex3.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_ex8.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_fast_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_fast_2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_FIREFLY_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_Gas.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_hysteresis_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_ILLINOIS_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_MESI_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_metros_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_MOESI_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_peterson_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_PRODUCER_CONSUMER_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_production_cell.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_readwrit.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_rtp_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_speed2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_stalmark.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_steam_boiler_no_arr2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_swimmingpool_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_switch2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_switch.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_SYNAPSE_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_ticket3i_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_traffic.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_tramway.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_twisted_counters.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_two_counters.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/yices2_ums.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3__6counter.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_car_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_cd.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_DockingApproach.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_DRAGON_all2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_DRAGON_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_durationThm_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_ex3.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_ex8.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_fast_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_fast_2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_FIREFLY_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_Gas.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_hysteresis_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_ILLINOIS_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_MESI_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_metros_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_MOESI_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_peterson_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_PRODUCER_CONSUMER_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_production_cell.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_readwrit.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_rtp_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_speed2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_stalmark.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_steam_boiler_no_arr2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_swimmingpool_1.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_switch2.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_switch.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_SYNAPSE_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_ticket3i_all.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_traffic.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_tramway.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_twisted_counters.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_two_counters.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/21e9ea88-4bda-4a96-a8bc-8cc429e1b0ee/z3_ums.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }
  ], 
  "identifier": "https://doi.org/10.5281/zenodo.3484641", 
  "@id": "https://doi.org/10.5281/zenodo.3484641", 
  "@type": "Dataset", 
  "name": "Understanding The Impact of Solver Choice in Model-Based Test Generation"
}
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