Dataset Open Access

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

Meng, Ying; Gay, Gregory


MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Test Generation</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Software Testing</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">Model-Based Test Generation</subfield>
  </datafield>
  <controlfield tag="005">20200708122930.0</controlfield>
  <controlfield tag="001">3484641</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Chalmers and the University of Gothenburg</subfield>
    <subfield code="0">(orcid)0000-0001-6794-9585</subfield>
    <subfield code="a">Gay, Gregory</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">41717</subfield>
    <subfield code="z">md5:01d54bb7e80bf8d3813111296d8644fd</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4__6counter.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">114754</subfield>
    <subfield code="z">md5:6e4f294de1c9cfe3adcba51c1c6514d0</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_car_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">65100</subfield>
    <subfield code="z">md5:26e934958d14c2a43fb17310edf16ec3</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_cd.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1687702599</subfield>
    <subfield code="z">md5:aa24cebc00986db2352e02b1a2085146</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_DockingApproach.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">6895934</subfield>
    <subfield code="z">md5:7db412ce437b248afc6ada6ac0ed6262</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_DRAGON_all2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">6231078</subfield>
    <subfield code="z">md5:935a523d9aaab302426b22623846f1d4</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_DRAGON_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">54806</subfield>
    <subfield code="z">md5:3d7712c2d4ac1eb8db8204a397ee9267</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_durationThm_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">35477</subfield>
    <subfield code="z">md5:74e7b1c7894049d0e5272e8d956dd95f</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_ex3.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">35766</subfield>
    <subfield code="z">md5:b07ce53304716621a8a0c74d8e0e602a</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_ex8.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2112041</subfield>
    <subfield code="z">md5:9f448aeef2eef2ba1aa5b3232adb3430</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_fast_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">5197741</subfield>
    <subfield code="z">md5:0f7d9fbbb3e0e3d70956507bf04633cb</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_fast_2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2541485</subfield>
    <subfield code="z">md5:bf6d82a2bb0b47aa76e311390b8eaead</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_FIREFLY_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">598720</subfield>
    <subfield code="z">md5:0fe89e993338458b87ec85911f8a95d5</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_Gas.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1625545</subfield>
    <subfield code="z">md5:0769c4831f0318a7aeec734f0cbd096c</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_hysteresis_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">3820061</subfield>
    <subfield code="z">md5:e129ed6017e3ccd8eb9c27f13c46cbe5</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_ILLINOIS_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">512941768</subfield>
    <subfield code="z">md5:02e2d5359ad2c0f671a3ba0f3630a6f3</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">637737</subfield>
    <subfield code="z">md5:2812e71998acfa7202ad610602e51feb</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_MESI_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2190133</subfield>
    <subfield code="z">md5:2c8b7105428d587cc851828f0197c2d3</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_metros_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">808035</subfield>
    <subfield code="z">md5:f317e7eb3896e46a7bdba33555b24bac</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_MOESI_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">5625883</subfield>
    <subfield code="z">md5:fb32e7a34043a8b7ca31b495283e517e</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_peterson_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">300429</subfield>
    <subfield code="z">md5:722b5271f4c95ff30629f7e7f438ceff</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_PRODUCER_CONSUMER_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">420620</subfield>
    <subfield code="z">md5:7a9de7e4dcf021c04ace239c4ec1d9f8</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_production_cell.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4745756</subfield>
    <subfield code="z">md5:5a5e50c5fcc478c378d3245e89d8cb04</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_readwrit.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4915528</subfield>
    <subfield code="z">md5:87963786798e508299c522aa23bf2004</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_rtp_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">37282</subfield>
    <subfield code="z">md5:db45472ea8945729ea5e7a5628323e0a</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_speed2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">30628</subfield>
    <subfield code="z">md5:511700cd7e5c505518c0e041fba76dac</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_stalmark.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">586050</subfield>
    <subfield code="z">md5:636112cfed3a42d1ec4ff2d5002b87e2</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_steam_boiler_no_arr2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">3695309</subfield>
    <subfield code="z">md5:d22daf11ba9d6f20188a882edd116f95</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_swimmingpool_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">29912</subfield>
    <subfield code="z">md5:de8f79ed8824cfb27b7f9cc7056d5d0e</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_switch2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">28192</subfield>
    <subfield code="z">md5:468f7972573819018b0ceaed32f4ff4e</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_switch.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">283337</subfield>
    <subfield code="z">md5:35679ccf7ae1b52316b83950943b9cf1</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_SYNAPSE_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">3576724</subfield>
    <subfield code="z">md5:e58c8a3f15328fc35f28139f37f818a3</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_ticket3i_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">25104</subfield>
    <subfield code="z">md5:e44bbbef21358c19350934eb7579237a</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_traffic.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">889759</subfield>
    <subfield code="z">md5:133a413949e622b3269cf77b3034c200</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_tramway.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">80862</subfield>
    <subfield code="z">md5:70f5f12eb299c092944a148167dcaa2a</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_twisted_counters.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">17634</subfield>
    <subfield code="z">md5:90bc9107e07754668b2256cdb2c3843f</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_two_counters.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">6154199</subfield>
    <subfield code="z">md5:5dbe882c5a0b403b11129e8714e03c46</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/cvc4_ums.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">41639</subfield>
    <subfield code="z">md5:ce249a0f95b20dc1e4a9bf23384a6788</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat__6counter.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">119044</subfield>
    <subfield code="z">md5:bf41ebc881ff3c34cfbbcc6750bd0405</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_car_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">64779</subfield>
    <subfield code="z">md5:46ca03b24894fe7b76da5fcb6cb4cd56</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_cd.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1701230349</subfield>
    <subfield code="z">md5:cf2bbe9a2c336169b47b89a995d41ad8</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_DockingApproach.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">6930291</subfield>
    <subfield code="z">md5:ccdae0b34354c3ec3c8411b938e92004</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_DRAGON_all2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">6286315</subfield>
    <subfield code="z">md5:5bdde05bf88ef0d8fb702c40bcd4eff1</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_DRAGON_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">54756</subfield>
    <subfield code="z">md5:eca184882c55764b2383b4436934f09c</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_durationThm_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">35580</subfield>
    <subfield code="z">md5:0259535c9301cb1e617012923f65281c</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_ex3.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">35769</subfield>
    <subfield code="z">md5:d0dac9a3f1a53cda440c5dd47515c00b</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_ex8.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2145263</subfield>
    <subfield code="z">md5:7cf40e02025f2c4662b453074eea5985</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_fast_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">5258505</subfield>
    <subfield code="z">md5:20d8e8e345d817f008ad0d19c5e5e1a5</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_fast_2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2541011</subfield>
    <subfield code="z">md5:c193eb9e856446addaaee5a3db30ec07</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_FIREFLY_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">599065</subfield>
    <subfield code="z">md5:5aeed24719c63a0c0f538def3354a8da</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_Gas.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1627875</subfield>
    <subfield code="z">md5:d665ee29bab79a6f4a75798089042251</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_hysteresis_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">3789711</subfield>
    <subfield code="z">md5:62a70b60fd02f52506ba18475fb9da3e</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_ILLINOIS_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">513086782</subfield>
    <subfield code="z">md5:4585209d8089b405d5bfa022164e3b5c</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">644747</subfield>
    <subfield code="z">md5:be37f449a79d373f196c3d40837e1fa8</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_MESI_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2143920</subfield>
    <subfield code="z">md5:c23a26ce01b1c4254e0976b2cf1999b8</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_metros_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">805132</subfield>
    <subfield code="z">md5:e9bca2c8598e8d23be64fe2767adac62</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_MOESI_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">5720347</subfield>
    <subfield code="z">md5:e4d27f7a677116b5f72f5416e84335a6</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_peterson_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">300689</subfield>
    <subfield code="z">md5:deadc87fd9abe0033907a0e1f9c9198c</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_PRODUCER_CONSUMER_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">421015</subfield>
    <subfield code="z">md5:30be73c260fda367276ab88ddccb612d</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_production_cell.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4731508</subfield>
    <subfield code="z">md5:e602206c0579b418024fd2f539620357</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_readwrit.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4929253</subfield>
    <subfield code="z">md5:cf593c283f238888451242ac1cec3f24</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_rtp_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">39872</subfield>
    <subfield code="z">md5:63b569ea8893c16717cbd3f59b14c42c</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_speed2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">30660</subfield>
    <subfield code="z">md5:429a9fba09e3b52a0a38931381276da2</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_stalmark.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">590874</subfield>
    <subfield code="z">md5:44711ebab3ae767a19e0b1aca22e4db1</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_steam_boiler_no_arr2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">3796761</subfield>
    <subfield code="z">md5:32f53512c1232484d9cb51fd4e9c15cb</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_swimmingpool_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">31236</subfield>
    <subfield code="z">md5:3c8f8d598d2d43d78b0f9554499f1d09</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_switch2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">29997</subfield>
    <subfield code="z">md5:f6ad8b2a8c2270bd35209c7fb244a047</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_switch.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">282514</subfield>
    <subfield code="z">md5:8258ad59bf431904726f4dda7810b658</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_SYNAPSE_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">3654318</subfield>
    <subfield code="z">md5:c07274ed4071cf5e7596a7bbb2f4fd47</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_ticket3i_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">26188</subfield>
    <subfield code="z">md5:36afde0187b36cce20833ed9fc8a1fe9</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_traffic.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">891164</subfield>
    <subfield code="z">md5:cc163f236538fadfe26d4f9ccb7a4a04</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_tramway.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">80827</subfield>
    <subfield code="z">md5:92a6dcfb1bcb8c1f96a3dba3f9d5a698</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_twisted_counters.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">17770</subfield>
    <subfield code="z">md5:58161f5d6780d854ffaa8bbddf22d6d8</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_two_counters.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">6160597</subfield>
    <subfield code="z">md5:0125ec672f3d58f8d8575be8afda0f9b</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/mathsat_ums.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">611</subfield>
    <subfield code="z">md5:f2a618612e456c92220b8fd885376e3e</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/README.md</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">40616</subfield>
    <subfield code="z">md5:c2ba7ad8c65842b5f43b4c9ab8fecc8c</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2__6counter.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">113535</subfield>
    <subfield code="z">md5:328c4e11892ebf9133f48980521a42af</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_car_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">56692</subfield>
    <subfield code="z">md5:23338ce33b107b66ec6fa919910eb231</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_cd.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">7096561738</subfield>
    <subfield code="z">md5:5ebf8e1bd67aa6786933e92990c4f44e</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_DockingApproach.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4881721</subfield>
    <subfield code="z">md5:01eec1b520944f04ae1d7464432e3ca2</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_DRAGON_all2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4354980</subfield>
    <subfield code="z">md5:b1c0ad270f5b6d639c732acf754109ad</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_DRAGON_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">54321</subfield>
    <subfield code="z">md5:cf813a3c429f1348a0574b4fefe90223</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_durationThm_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">33751</subfield>
    <subfield code="z">md5:8fecdf25e5ef3173d5509eefb0dda369</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_ex3.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">34873</subfield>
    <subfield code="z">md5:0f6cc59d042e64576ddd9a6d060f9931</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_ex8.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1845720</subfield>
    <subfield code="z">md5:3e42f6773315bfe6cf6f79ee24015125</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_fast_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4474129</subfield>
    <subfield code="z">md5:f05f674fc736b0d55d21fb44f515f0ed</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_fast_2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1985153</subfield>
    <subfield code="z">md5:c83ca48cde7d6e2de646c0566fceca37</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_FIREFLY_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4253143</subfield>
    <subfield code="z">md5:e638c52c341cebb459a872a4c85d81cd</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_Gas.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">105725</subfield>
    <subfield code="z">md5:c69e736ea6e11e41fcad39fd7502fb78</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_hysteresis_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2694726</subfield>
    <subfield code="z">md5:2ed8d86cd4c48e33df40c1d47b33786c</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_ILLINOIS_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">342582379</subfield>
    <subfield code="z">md5:3f135c20c59928b2e1769df7b94841c4</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">630200</subfield>
    <subfield code="z">md5:05a96bbefbd1f7dca5be43a3678a7444</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_MESI_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1710871</subfield>
    <subfield code="z">md5:f1dd51e08623b8808e420ccf2a0c3cd8</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_metros_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">731882</subfield>
    <subfield code="z">md5:498344e64e4e69fc0bde7e3a9e679c4c</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_MOESI_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">5373956</subfield>
    <subfield code="z">md5:cad5b915a52176a12a8c646fcc56a925</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_peterson_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">268226</subfield>
    <subfield code="z">md5:e4fca6db554998606ecce02b7f1aea8b</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_PRODUCER_CONSUMER_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">354895</subfield>
    <subfield code="z">md5:1312bdda0b1fb3ff676dc9ac9ca7218e</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_production_cell.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4485140</subfield>
    <subfield code="z">md5:1e975cd23844d928125358d8a01e965e</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_readwrit.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">5026209</subfield>
    <subfield code="z">md5:6a4512f2e127c34a618e33108fcb3d91</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_rtp_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">37672</subfield>
    <subfield code="z">md5:6664fd9241bb94631d28a4b325dd41dc</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_speed2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">30813</subfield>
    <subfield code="z">md5:190909367c9bebe54278161ba449ba36</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_stalmark.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">391272</subfield>
    <subfield code="z">md5:599669a5a4748b457bb8b0bbe0510755</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_steam_boiler_no_arr2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2372786</subfield>
    <subfield code="z">md5:1799dde46bab6be1f2f9e2435c264fce</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_swimmingpool_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">29410</subfield>
    <subfield code="z">md5:583dec1242a0e1c3733d0eeb46336683</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_switch2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">27760</subfield>
    <subfield code="z">md5:45e78cfd3276dca4be33f18d24e753cb</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_switch.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">273430</subfield>
    <subfield code="z">md5:34fe1a554afadf9e6f1e54425ba6c2b3</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_SYNAPSE_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2476770</subfield>
    <subfield code="z">md5:1a4d763b2dc2fb87f1aef0b8bebb9900</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_ticket3i_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">26464</subfield>
    <subfield code="z">md5:c5f080b4b6498ebbc4ae0d0c821dd821</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_traffic.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">861026</subfield>
    <subfield code="z">md5:8df354a812e4b4d23e44d62b9ed000dd</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_tramway.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">82685</subfield>
    <subfield code="z">md5:eb29447a34e283f42e7f7253662cadf1</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_twisted_counters.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">17847</subfield>
    <subfield code="z">md5:40c4028411d93aff92714a34d26927a5</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_two_counters.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">5486117</subfield>
    <subfield code="z">md5:e0f03df09f73e526b7ca6321a0e4eaed</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/yices2_ums.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">83885</subfield>
    <subfield code="z">md5:6f128fc5f0dce07c35de31842a926e8a</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3__6counter.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">222089</subfield>
    <subfield code="z">md5:6d33ead0dbb3ddc183d733b2fb5eaae0</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_car_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">175705</subfield>
    <subfield code="z">md5:9e376a33e21f6ad9797e852a6efe97b6</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_cd.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">8819244142</subfield>
    <subfield code="z">md5:dfaec0014f7451ffe366e3a47352adb3</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_DockingApproach.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">10945408</subfield>
    <subfield code="z">md5:3615a7ba39c3593db080fc32f4f66a08</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_DRAGON_all2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">10229622</subfield>
    <subfield code="z">md5:0a3b4f53dd7d84679782704e2716d8ec</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_DRAGON_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">133532</subfield>
    <subfield code="z">md5:efba96b14692e8e6ab2668f0391797d1</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_durationThm_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">82389</subfield>
    <subfield code="z">md5:338214545df541f22e1faf3aaa10260a</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_ex3.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">84716</subfield>
    <subfield code="z">md5:08c020face4f9a47483d7af7aebf00f0</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_ex8.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4855420</subfield>
    <subfield code="z">md5:0a9dc0a88c194acf8505a3d8ed52e914</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_fast_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">12719781</subfield>
    <subfield code="z">md5:108e259460908f6293e8a3dfe71ba46d</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_fast_2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4454448</subfield>
    <subfield code="z">md5:ddcc940d85d4560c91ab2c982c64b147</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_FIREFLY_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">27933287</subfield>
    <subfield code="z">md5:b4cf13cf919eae7f862fef8cea244d65</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_Gas.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">218400</subfield>
    <subfield code="z">md5:de9d96b1cc7b7405bf21c439b8b0bc05</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_hysteresis_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">5739359</subfield>
    <subfield code="z">md5:d144f5584ba99646c071d1edd0034099</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_ILLINOIS_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">987025980</subfield>
    <subfield code="z">md5:c86c88f59a609bd42f383381ff408da4</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1260929</subfield>
    <subfield code="z">md5:a45a8d85999a2b58d43f52e617d3736a</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_MESI_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2356380</subfield>
    <subfield code="z">md5:65f1acea4a475748d679638d6724ae44</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_metros_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1577766</subfield>
    <subfield code="z">md5:0d7d15df6db2f520a61abd14a6f4ce8a</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_MOESI_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">11575598</subfield>
    <subfield code="z">md5:963851babb5e7bcabbf55db16090af05</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_peterson_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">649835</subfield>
    <subfield code="z">md5:75b19bad6e9b633afbf810cd442ca2c7</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_PRODUCER_CONSUMER_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">808367</subfield>
    <subfield code="z">md5:f8524e28b4349b4bae41eaf5d645cfe9</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_production_cell.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">11622911</subfield>
    <subfield code="z">md5:6837a211a4ef1e1e6823d501f00c36d0</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_readwrit.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">7832520</subfield>
    <subfield code="z">md5:5f682d3a3bfbf687af353344aefd65f7</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_rtp_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">83417</subfield>
    <subfield code="z">md5:fa4408c244a27d58499fd24953be55b5</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_speed2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">60638</subfield>
    <subfield code="z">md5:4ad1cac2a75cab1faa53296e5561c98c</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_stalmark.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">844994</subfield>
    <subfield code="z">md5:27c357b51c69d3bfae5ae1c2d34faaeb</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_steam_boiler_no_arr2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4884831</subfield>
    <subfield code="z">md5:d58da39eb61e1dc12aff729baecfd259</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_swimmingpool_1.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">59816</subfield>
    <subfield code="z">md5:f4e9f7008657a4bd7541f2949cb9fdbe</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_switch2.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">55836</subfield>
    <subfield code="z">md5:ae1a592b92245e62e90678d69eb7df03</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_switch.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">539142</subfield>
    <subfield code="z">md5:33e4f11b2a996232c983203a03dd8dd2</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_SYNAPSE_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">5646819</subfield>
    <subfield code="z">md5:879d2addb1b6ffc42e31afa7af16f90e</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_ticket3i_all.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">51014</subfield>
    <subfield code="z">md5:c1914a4092e8457ed8cb844e5f2131eb</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_traffic.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2765896</subfield>
    <subfield code="z">md5:4cc646058036ba1195d0e3667214e933</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_tramway.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">170165</subfield>
    <subfield code="z">md5:56e184cba1c4702e614999cebf6b6541</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_twisted_counters.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">35445</subfield>
    <subfield code="z">md5:4399e95531fcb4c1b8327a8738a0bf90</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_two_counters.tar.gz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">6400148</subfield>
    <subfield code="z">md5:35270f7d11073f015f11d7c036759aed</subfield>
    <subfield code="u">https://zenodo.org/record/3484641/files/z3_ums.tar.gz</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2019-10-14</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">openaire_data</subfield>
    <subfield code="o">oai:zenodo.org:3484641</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">University of South Carolina</subfield>
    <subfield code="a">Meng, Ying</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Understanding The Impact of Solver Choice in Model-Based Test Generation</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://creativecommons.org/licenses/by/4.0/legalcode</subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;&lt;strong&gt;# Solver Experiment - Data Package&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;This repository is intended to allow replication and extension of the study&lt;br&gt;
conducted in the following paper:&lt;/p&gt;

&lt;p&gt;Ying Meng and Gregory Gay. Understanding The Impact&amp;nbsp;of Solver Choice in Model-Based Test Generation. To appear, 2020&amp;nbsp;ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). Available from&amp;nbsp;&lt;a href="https://greg4cr.github.io/pdf/20solvers.pdf"&gt;https://greg4cr.github.io/pdf/20solvers.pdf&lt;/a&gt;.&lt;/p&gt;

&lt;p&gt;This package includes all data used or generated in this experiment.&lt;br&gt;
&amp;nbsp; * Models&lt;br&gt;
&amp;nbsp; * Mutants&lt;br&gt;
&amp;nbsp; * Test Suites&lt;br&gt;
&amp;nbsp; * Execution Traces&lt;br&gt;
&amp;nbsp; * Fault-detection Results&lt;/p&gt;

&lt;p&gt;If you have any questions on this data, please contact us at greg@greggay.com.&amp;nbsp;&lt;br&gt;
&amp;nbsp;&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.3484640</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.3484641</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">dataset</subfield>
  </datafield>
</record>
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