Dataset Open Access

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

Meng, Ying; Gay, Gregory

# 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. 
 

Files (22.0 GB)
Name Size
cvc4__6counter.tar.gz
md5:01d54bb7e80bf8d3813111296d8644fd
41.7 kB Download
cvc4_car_all.tar.gz
md5:6e4f294de1c9cfe3adcba51c1c6514d0
114.8 kB Download
cvc4_cd.tar.gz
md5:26e934958d14c2a43fb17310edf16ec3
65.1 kB Download
cvc4_DockingApproach.tar.gz
md5:aa24cebc00986db2352e02b1a2085146
1.7 GB Download
cvc4_DRAGON_all.tar.gz
md5:935a523d9aaab302426b22623846f1d4
6.2 MB Download
cvc4_DRAGON_all2.tar.gz
md5:7db412ce437b248afc6ada6ac0ed6262
6.9 MB Download
cvc4_durationThm_1.tar.gz
md5:3d7712c2d4ac1eb8db8204a397ee9267
54.8 kB Download
cvc4_ex3.tar.gz
md5:74e7b1c7894049d0e5272e8d956dd95f
35.5 kB Download
cvc4_ex8.tar.gz
md5:b07ce53304716621a8a0c74d8e0e602a
35.8 kB Download
cvc4_fast_1.tar.gz
md5:9f448aeef2eef2ba1aa5b3232adb3430
2.1 MB Download
cvc4_fast_2.tar.gz
md5:0f7d9fbbb3e0e3d70956507bf04633cb
5.2 MB Download
cvc4_FIREFLY_all.tar.gz
md5:bf6d82a2bb0b47aa76e311390b8eaead
2.5 MB Download
cvc4_Gas.tar.gz
md5:0fe89e993338458b87ec85911f8a95d5
598.7 kB Download
cvc4_hysteresis_all.tar.gz
md5:0769c4831f0318a7aeec734f0cbd096c
1.6 MB Download
cvc4_ILLINOIS_all.tar.gz
md5:e129ed6017e3ccd8eb9c27f13c46cbe5
3.8 MB Download
cvc4_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz
md5:02e2d5359ad2c0f671a3ba0f3630a6f3
512.9 MB Download
cvc4_MESI_all.tar.gz
md5:2812e71998acfa7202ad610602e51feb
637.7 kB Download
cvc4_metros_1.tar.gz
md5:2c8b7105428d587cc851828f0197c2d3
2.2 MB Download
cvc4_MOESI_all.tar.gz
md5:f317e7eb3896e46a7bdba33555b24bac
808.0 kB Download
cvc4_peterson_all.tar.gz
md5:fb32e7a34043a8b7ca31b495283e517e
5.6 MB Download
cvc4_PRODUCER_CONSUMER_all.tar.gz
md5:722b5271f4c95ff30629f7e7f438ceff
300.4 kB Download
cvc4_production_cell.tar.gz
md5:7a9de7e4dcf021c04ace239c4ec1d9f8
420.6 kB Download
cvc4_readwrit.tar.gz
md5:5a5e50c5fcc478c378d3245e89d8cb04
4.7 MB Download
cvc4_rtp_all.tar.gz
md5:87963786798e508299c522aa23bf2004
4.9 MB Download
cvc4_speed2.tar.gz
md5:db45472ea8945729ea5e7a5628323e0a
37.3 kB Download
cvc4_stalmark.tar.gz
md5:511700cd7e5c505518c0e041fba76dac
30.6 kB Download
cvc4_steam_boiler_no_arr2.tar.gz
md5:636112cfed3a42d1ec4ff2d5002b87e2
586.0 kB Download
cvc4_swimmingpool_1.tar.gz
md5:d22daf11ba9d6f20188a882edd116f95
3.7 MB Download
cvc4_switch.tar.gz
md5:468f7972573819018b0ceaed32f4ff4e
28.2 kB Download
cvc4_switch2.tar.gz
md5:de8f79ed8824cfb27b7f9cc7056d5d0e
29.9 kB Download
cvc4_SYNAPSE_all.tar.gz
md5:35679ccf7ae1b52316b83950943b9cf1
283.3 kB Download
cvc4_ticket3i_all.tar.gz
md5:e58c8a3f15328fc35f28139f37f818a3
3.6 MB Download
cvc4_traffic.tar.gz
md5:e44bbbef21358c19350934eb7579237a
25.1 kB Download
cvc4_tramway.tar.gz
md5:133a413949e622b3269cf77b3034c200
889.8 kB Download
cvc4_twisted_counters.tar.gz
md5:70f5f12eb299c092944a148167dcaa2a
80.9 kB Download
cvc4_two_counters.tar.gz
md5:90bc9107e07754668b2256cdb2c3843f
17.6 kB Download
cvc4_ums.tar.gz
md5:5dbe882c5a0b403b11129e8714e03c46
6.2 MB Download
mathsat__6counter.tar.gz
md5:ce249a0f95b20dc1e4a9bf23384a6788
41.6 kB Download
mathsat_car_all.tar.gz
md5:bf41ebc881ff3c34cfbbcc6750bd0405
119.0 kB Download
mathsat_cd.tar.gz
md5:46ca03b24894fe7b76da5fcb6cb4cd56
64.8 kB Download
mathsat_DockingApproach.tar.gz
md5:cf2bbe9a2c336169b47b89a995d41ad8
1.7 GB Download
mathsat_DRAGON_all.tar.gz
md5:5bdde05bf88ef0d8fb702c40bcd4eff1
6.3 MB Download
mathsat_DRAGON_all2.tar.gz
md5:ccdae0b34354c3ec3c8411b938e92004
6.9 MB Download
mathsat_durationThm_1.tar.gz
md5:eca184882c55764b2383b4436934f09c
54.8 kB Download
mathsat_ex3.tar.gz
md5:0259535c9301cb1e617012923f65281c
35.6 kB Download
mathsat_ex8.tar.gz
md5:d0dac9a3f1a53cda440c5dd47515c00b
35.8 kB Download
mathsat_fast_1.tar.gz
md5:7cf40e02025f2c4662b453074eea5985
2.1 MB Download
mathsat_fast_2.tar.gz
md5:20d8e8e345d817f008ad0d19c5e5e1a5
5.3 MB Download
mathsat_FIREFLY_all.tar.gz
md5:c193eb9e856446addaaee5a3db30ec07
2.5 MB Download
mathsat_Gas.tar.gz
md5:5aeed24719c63a0c0f538def3354a8da
599.1 kB Download
mathsat_hysteresis_all.tar.gz
md5:d665ee29bab79a6f4a75798089042251
1.6 MB Download
mathsat_ILLINOIS_all.tar.gz
md5:62a70b60fd02f52506ba18475fb9da3e
3.8 MB Download
mathsat_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz
md5:4585209d8089b405d5bfa022164e3b5c
513.1 MB Download
mathsat_MESI_all.tar.gz
md5:be37f449a79d373f196c3d40837e1fa8
644.7 kB Download
mathsat_metros_1.tar.gz
md5:c23a26ce01b1c4254e0976b2cf1999b8
2.1 MB Download
mathsat_MOESI_all.tar.gz
md5:e9bca2c8598e8d23be64fe2767adac62
805.1 kB Download
mathsat_peterson_all.tar.gz
md5:e4d27f7a677116b5f72f5416e84335a6
5.7 MB Download
mathsat_PRODUCER_CONSUMER_all.tar.gz
md5:deadc87fd9abe0033907a0e1f9c9198c
300.7 kB Download
mathsat_production_cell.tar.gz
md5:30be73c260fda367276ab88ddccb612d
421.0 kB Download
mathsat_readwrit.tar.gz
md5:e602206c0579b418024fd2f539620357
4.7 MB Download
mathsat_rtp_all.tar.gz
md5:cf593c283f238888451242ac1cec3f24
4.9 MB Download
mathsat_speed2.tar.gz
md5:63b569ea8893c16717cbd3f59b14c42c
39.9 kB Download
mathsat_stalmark.tar.gz
md5:429a9fba09e3b52a0a38931381276da2
30.7 kB Download
mathsat_steam_boiler_no_arr2.tar.gz
md5:44711ebab3ae767a19e0b1aca22e4db1
590.9 kB Download
mathsat_swimmingpool_1.tar.gz
md5:32f53512c1232484d9cb51fd4e9c15cb
3.8 MB Download
mathsat_switch.tar.gz
md5:f6ad8b2a8c2270bd35209c7fb244a047
30.0 kB Download
mathsat_switch2.tar.gz
md5:3c8f8d598d2d43d78b0f9554499f1d09
31.2 kB Download
mathsat_SYNAPSE_all.tar.gz
md5:8258ad59bf431904726f4dda7810b658
282.5 kB Download
mathsat_ticket3i_all.tar.gz
md5:c07274ed4071cf5e7596a7bbb2f4fd47
3.7 MB Download
mathsat_traffic.tar.gz
md5:36afde0187b36cce20833ed9fc8a1fe9
26.2 kB Download
mathsat_tramway.tar.gz
md5:cc163f236538fadfe26d4f9ccb7a4a04
891.2 kB Download
mathsat_twisted_counters.tar.gz
md5:92a6dcfb1bcb8c1f96a3dba3f9d5a698
80.8 kB Download
mathsat_two_counters.tar.gz
md5:58161f5d6780d854ffaa8bbddf22d6d8
17.8 kB Download
mathsat_ums.tar.gz
md5:0125ec672f3d58f8d8575be8afda0f9b
6.2 MB Download
README.md
md5:f2a618612e456c92220b8fd885376e3e
611 Bytes Download
yices2__6counter.tar.gz
md5:c2ba7ad8c65842b5f43b4c9ab8fecc8c
40.6 kB Download
yices2_car_all.tar.gz
md5:328c4e11892ebf9133f48980521a42af
113.5 kB Download
yices2_cd.tar.gz
md5:23338ce33b107b66ec6fa919910eb231
56.7 kB Download
yices2_DockingApproach.tar.gz
md5:5ebf8e1bd67aa6786933e92990c4f44e
7.1 GB Download
yices2_DRAGON_all.tar.gz
md5:b1c0ad270f5b6d639c732acf754109ad
4.4 MB Download
yices2_DRAGON_all2.tar.gz
md5:01eec1b520944f04ae1d7464432e3ca2
4.9 MB Download
yices2_durationThm_1.tar.gz
md5:cf813a3c429f1348a0574b4fefe90223
54.3 kB Download
yices2_ex3.tar.gz
md5:8fecdf25e5ef3173d5509eefb0dda369
33.8 kB Download
yices2_ex8.tar.gz
md5:0f6cc59d042e64576ddd9a6d060f9931
34.9 kB Download
yices2_fast_1.tar.gz
md5:3e42f6773315bfe6cf6f79ee24015125
1.8 MB Download
yices2_fast_2.tar.gz
md5:f05f674fc736b0d55d21fb44f515f0ed
4.5 MB Download
yices2_FIREFLY_all.tar.gz
md5:c83ca48cde7d6e2de646c0566fceca37
2.0 MB Download
yices2_Gas.tar.gz
md5:e638c52c341cebb459a872a4c85d81cd
4.3 MB Download
yices2_hysteresis_all.tar.gz
md5:c69e736ea6e11e41fcad39fd7502fb78
105.7 kB Download
yices2_ILLINOIS_all.tar.gz
md5:2ed8d86cd4c48e33df40c1d47b33786c
2.7 MB Download
yices2_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz
md5:3f135c20c59928b2e1769df7b94841c4
342.6 MB Download
yices2_MESI_all.tar.gz
md5:05a96bbefbd1f7dca5be43a3678a7444
630.2 kB Download
yices2_metros_1.tar.gz
md5:f1dd51e08623b8808e420ccf2a0c3cd8
1.7 MB Download
yices2_MOESI_all.tar.gz
md5:498344e64e4e69fc0bde7e3a9e679c4c
731.9 kB Download
yices2_peterson_all.tar.gz
md5:cad5b915a52176a12a8c646fcc56a925
5.4 MB Download
yices2_PRODUCER_CONSUMER_all.tar.gz
md5:e4fca6db554998606ecce02b7f1aea8b
268.2 kB Download
yices2_production_cell.tar.gz
md5:1312bdda0b1fb3ff676dc9ac9ca7218e
354.9 kB Download
yices2_readwrit.tar.gz
md5:1e975cd23844d928125358d8a01e965e
4.5 MB Download
yices2_rtp_all.tar.gz
md5:6a4512f2e127c34a618e33108fcb3d91
5.0 MB Download
yices2_speed2.tar.gz
md5:6664fd9241bb94631d28a4b325dd41dc
37.7 kB Download
yices2_stalmark.tar.gz
md5:190909367c9bebe54278161ba449ba36
30.8 kB Download
yices2_steam_boiler_no_arr2.tar.gz
md5:599669a5a4748b457bb8b0bbe0510755
391.3 kB Download
yices2_swimmingpool_1.tar.gz
md5:1799dde46bab6be1f2f9e2435c264fce
2.4 MB Download
yices2_switch.tar.gz
md5:45e78cfd3276dca4be33f18d24e753cb
27.8 kB Download
yices2_switch2.tar.gz
md5:583dec1242a0e1c3733d0eeb46336683
29.4 kB Download
yices2_SYNAPSE_all.tar.gz
md5:34fe1a554afadf9e6f1e54425ba6c2b3
273.4 kB Download
yices2_ticket3i_all.tar.gz
md5:1a4d763b2dc2fb87f1aef0b8bebb9900
2.5 MB Download
yices2_traffic.tar.gz
md5:c5f080b4b6498ebbc4ae0d0c821dd821
26.5 kB Download
yices2_tramway.tar.gz
md5:8df354a812e4b4d23e44d62b9ed000dd
861.0 kB Download
yices2_twisted_counters.tar.gz
md5:eb29447a34e283f42e7f7253662cadf1
82.7 kB Download
yices2_two_counters.tar.gz
md5:40c4028411d93aff92714a34d26927a5
17.8 kB Download
yices2_ums.tar.gz
md5:e0f03df09f73e526b7ca6321a0e4eaed
5.5 MB Download
z3__6counter.tar.gz
md5:6f128fc5f0dce07c35de31842a926e8a
83.9 kB Download
z3_car_all.tar.gz
md5:6d33ead0dbb3ddc183d733b2fb5eaae0
222.1 kB Download
z3_cd.tar.gz
md5:9e376a33e21f6ad9797e852a6efe97b6
175.7 kB Download
z3_DockingApproach.tar.gz
md5:dfaec0014f7451ffe366e3a47352adb3
8.8 GB Download
z3_DRAGON_all.tar.gz
md5:0a3b4f53dd7d84679782704e2716d8ec
10.2 MB Download
z3_DRAGON_all2.tar.gz
md5:3615a7ba39c3593db080fc32f4f66a08
10.9 MB Download
z3_durationThm_1.tar.gz
md5:efba96b14692e8e6ab2668f0391797d1
133.5 kB Download
z3_ex3.tar.gz
md5:338214545df541f22e1faf3aaa10260a
82.4 kB Download
z3_ex8.tar.gz
md5:08c020face4f9a47483d7af7aebf00f0
84.7 kB Download
z3_fast_1.tar.gz
md5:0a9dc0a88c194acf8505a3d8ed52e914
4.9 MB Download
z3_fast_2.tar.gz
md5:108e259460908f6293e8a3dfe71ba46d
12.7 MB Download
z3_FIREFLY_all.tar.gz
md5:ddcc940d85d4560c91ab2c982c64b147
4.5 MB Download
z3_Gas.tar.gz
md5:b4cf13cf919eae7f862fef8cea244d65
27.9 MB Download
z3_hysteresis_all.tar.gz
md5:de9d96b1cc7b7405bf21c439b8b0bc05
218.4 kB Download
z3_ILLINOIS_all.tar.gz
md5:d144f5584ba99646c071d1edd0034099
5.7 MB Download
z3_INFUSION_MGR_Functional_R2012_ordered.kind.tar.gz
md5:c86c88f59a609bd42f383381ff408da4
987.0 MB Download
z3_MESI_all.tar.gz
md5:a45a8d85999a2b58d43f52e617d3736a
1.3 MB Download
z3_metros_1.tar.gz
md5:65f1acea4a475748d679638d6724ae44
2.4 MB Download
z3_MOESI_all.tar.gz
md5:0d7d15df6db2f520a61abd14a6f4ce8a
1.6 MB Download
z3_peterson_all.tar.gz
md5:963851babb5e7bcabbf55db16090af05
11.6 MB Download
z3_PRODUCER_CONSUMER_all.tar.gz
md5:75b19bad6e9b633afbf810cd442ca2c7
649.8 kB Download
z3_production_cell.tar.gz
md5:f8524e28b4349b4bae41eaf5d645cfe9
808.4 kB Download
z3_readwrit.tar.gz
md5:6837a211a4ef1e1e6823d501f00c36d0
11.6 MB Download
z3_rtp_all.tar.gz
md5:5f682d3a3bfbf687af353344aefd65f7
7.8 MB Download
z3_speed2.tar.gz
md5:fa4408c244a27d58499fd24953be55b5
83.4 kB Download
z3_stalmark.tar.gz
md5:4ad1cac2a75cab1faa53296e5561c98c
60.6 kB Download
z3_steam_boiler_no_arr2.tar.gz
md5:27c357b51c69d3bfae5ae1c2d34faaeb
845.0 kB Download
z3_swimmingpool_1.tar.gz
md5:d58da39eb61e1dc12aff729baecfd259
4.9 MB Download
z3_switch.tar.gz
md5:ae1a592b92245e62e90678d69eb7df03
55.8 kB Download
z3_switch2.tar.gz
md5:f4e9f7008657a4bd7541f2949cb9fdbe
59.8 kB Download
z3_SYNAPSE_all.tar.gz
md5:33e4f11b2a996232c983203a03dd8dd2
539.1 kB Download
z3_ticket3i_all.tar.gz
md5:879d2addb1b6ffc42e31afa7af16f90e
5.6 MB Download
z3_traffic.tar.gz
md5:c1914a4092e8457ed8cb844e5f2131eb
51.0 kB Download
z3_tramway.tar.gz
md5:4cc646058036ba1195d0e3667214e933
2.8 MB Download
z3_twisted_counters.tar.gz
md5:56e184cba1c4702e614999cebf6b6541
170.2 kB Download
z3_two_counters.tar.gz
md5:4399e95531fcb4c1b8327a8738a0bf90
35.4 kB Download
z3_ums.tar.gz
md5:35270f7d11073f015f11d7c036759aed
6.4 MB Download
56
817
views
downloads
All versions This version
Views 5656
Downloads 817817
Data volume 120.9 GB120.9 GB
Unique views 5252
Unique downloads 88

Share

Cite as