Published October 14, 2019
| Version v1
Dataset
Open
Understanding The Impact of Solver Choice in Model-Based Test Generation
Creators
- 1. University of South Carolina
- 2. Chalmers and the University of Gothenburg
Description
# 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
README.md
Files
(22.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:01d54bb7e80bf8d3813111296d8644fd
|
41.7 kB | Download |
|
md5:6e4f294de1c9cfe3adcba51c1c6514d0
|
114.8 kB | Download |
|
md5:26e934958d14c2a43fb17310edf16ec3
|
65.1 kB | Download |
|
md5:aa24cebc00986db2352e02b1a2085146
|
1.7 GB | Download |
|
md5:935a523d9aaab302426b22623846f1d4
|
6.2 MB | Download |
|
md5:7db412ce437b248afc6ada6ac0ed6262
|
6.9 MB | Download |
|
md5:3d7712c2d4ac1eb8db8204a397ee9267
|
54.8 kB | Download |
|
md5:74e7b1c7894049d0e5272e8d956dd95f
|
35.5 kB | Download |
|
md5:b07ce53304716621a8a0c74d8e0e602a
|
35.8 kB | Download |
|
md5:9f448aeef2eef2ba1aa5b3232adb3430
|
2.1 MB | Download |
|
md5:0f7d9fbbb3e0e3d70956507bf04633cb
|
5.2 MB | Download |
|
md5:bf6d82a2bb0b47aa76e311390b8eaead
|
2.5 MB | Download |
|
md5:0fe89e993338458b87ec85911f8a95d5
|
598.7 kB | Download |
|
md5:0769c4831f0318a7aeec734f0cbd096c
|
1.6 MB | Download |
|
md5:e129ed6017e3ccd8eb9c27f13c46cbe5
|
3.8 MB | Download |
|
md5:02e2d5359ad2c0f671a3ba0f3630a6f3
|
512.9 MB | Download |
|
md5:2812e71998acfa7202ad610602e51feb
|
637.7 kB | Download |
|
md5:2c8b7105428d587cc851828f0197c2d3
|
2.2 MB | Download |
|
md5:f317e7eb3896e46a7bdba33555b24bac
|
808.0 kB | Download |
|
md5:fb32e7a34043a8b7ca31b495283e517e
|
5.6 MB | Download |
|
md5:722b5271f4c95ff30629f7e7f438ceff
|
300.4 kB | Download |
|
md5:7a9de7e4dcf021c04ace239c4ec1d9f8
|
420.6 kB | Download |
|
md5:5a5e50c5fcc478c378d3245e89d8cb04
|
4.7 MB | Download |
|
md5:87963786798e508299c522aa23bf2004
|
4.9 MB | Download |
|
md5:db45472ea8945729ea5e7a5628323e0a
|
37.3 kB | Download |
|
md5:511700cd7e5c505518c0e041fba76dac
|
30.6 kB | Download |
|
md5:636112cfed3a42d1ec4ff2d5002b87e2
|
586.0 kB | Download |
|
md5:d22daf11ba9d6f20188a882edd116f95
|
3.7 MB | Download |
|
md5:468f7972573819018b0ceaed32f4ff4e
|
28.2 kB | Download |
|
md5:de8f79ed8824cfb27b7f9cc7056d5d0e
|
29.9 kB | Download |
|
md5:35679ccf7ae1b52316b83950943b9cf1
|
283.3 kB | Download |
|
md5:e58c8a3f15328fc35f28139f37f818a3
|
3.6 MB | Download |
|
md5:e44bbbef21358c19350934eb7579237a
|
25.1 kB | Download |
|
md5:133a413949e622b3269cf77b3034c200
|
889.8 kB | Download |
|
md5:70f5f12eb299c092944a148167dcaa2a
|
80.9 kB | Download |
|
md5:90bc9107e07754668b2256cdb2c3843f
|
17.6 kB | Download |
|
md5:5dbe882c5a0b403b11129e8714e03c46
|
6.2 MB | Download |
|
md5:ce249a0f95b20dc1e4a9bf23384a6788
|
41.6 kB | Download |
|
md5:bf41ebc881ff3c34cfbbcc6750bd0405
|
119.0 kB | Download |
|
md5:46ca03b24894fe7b76da5fcb6cb4cd56
|
64.8 kB | Download |
|
md5:cf2bbe9a2c336169b47b89a995d41ad8
|
1.7 GB | Download |
|
md5:5bdde05bf88ef0d8fb702c40bcd4eff1
|
6.3 MB | Download |
|
md5:ccdae0b34354c3ec3c8411b938e92004
|
6.9 MB | Download |
|
md5:eca184882c55764b2383b4436934f09c
|
54.8 kB | Download |
|
md5:0259535c9301cb1e617012923f65281c
|
35.6 kB | Download |
|
md5:d0dac9a3f1a53cda440c5dd47515c00b
|
35.8 kB | Download |
|
md5:7cf40e02025f2c4662b453074eea5985
|
2.1 MB | Download |
|
md5:20d8e8e345d817f008ad0d19c5e5e1a5
|
5.3 MB | Download |
|
md5:c193eb9e856446addaaee5a3db30ec07
|
2.5 MB | Download |
|
md5:5aeed24719c63a0c0f538def3354a8da
|
599.1 kB | Download |
|
md5:d665ee29bab79a6f4a75798089042251
|
1.6 MB | Download |
|
md5:62a70b60fd02f52506ba18475fb9da3e
|
3.8 MB | Download |
|
md5:4585209d8089b405d5bfa022164e3b5c
|
513.1 MB | Download |
|
md5:be37f449a79d373f196c3d40837e1fa8
|
644.7 kB | Download |
|
md5:c23a26ce01b1c4254e0976b2cf1999b8
|
2.1 MB | Download |
|
md5:e9bca2c8598e8d23be64fe2767adac62
|
805.1 kB | Download |
|
md5:e4d27f7a677116b5f72f5416e84335a6
|
5.7 MB | Download |
|
md5:deadc87fd9abe0033907a0e1f9c9198c
|
300.7 kB | Download |
|
md5:30be73c260fda367276ab88ddccb612d
|
421.0 kB | Download |
|
md5:e602206c0579b418024fd2f539620357
|
4.7 MB | Download |
|
md5:cf593c283f238888451242ac1cec3f24
|
4.9 MB | Download |
|
md5:63b569ea8893c16717cbd3f59b14c42c
|
39.9 kB | Download |
|
md5:429a9fba09e3b52a0a38931381276da2
|
30.7 kB | Download |
|
md5:44711ebab3ae767a19e0b1aca22e4db1
|
590.9 kB | Download |
|
md5:32f53512c1232484d9cb51fd4e9c15cb
|
3.8 MB | Download |
|
md5:f6ad8b2a8c2270bd35209c7fb244a047
|
30.0 kB | Download |
|
md5:3c8f8d598d2d43d78b0f9554499f1d09
|
31.2 kB | Download |
|
md5:8258ad59bf431904726f4dda7810b658
|
282.5 kB | Download |
|
md5:c07274ed4071cf5e7596a7bbb2f4fd47
|
3.7 MB | Download |
|
md5:36afde0187b36cce20833ed9fc8a1fe9
|
26.2 kB | Download |
|
md5:cc163f236538fadfe26d4f9ccb7a4a04
|
891.2 kB | Download |
|
md5:92a6dcfb1bcb8c1f96a3dba3f9d5a698
|
80.8 kB | Download |
|
md5:58161f5d6780d854ffaa8bbddf22d6d8
|
17.8 kB | Download |
|
md5:0125ec672f3d58f8d8575be8afda0f9b
|
6.2 MB | Download |
|
md5:f2a618612e456c92220b8fd885376e3e
|
611 Bytes | Preview Download |
|
md5:c2ba7ad8c65842b5f43b4c9ab8fecc8c
|
40.6 kB | Download |
|
md5:328c4e11892ebf9133f48980521a42af
|
113.5 kB | Download |
|
md5:23338ce33b107b66ec6fa919910eb231
|
56.7 kB | Download |
|
md5:5ebf8e1bd67aa6786933e92990c4f44e
|
7.1 GB | Download |
|
md5:b1c0ad270f5b6d639c732acf754109ad
|
4.4 MB | Download |
|
md5:01eec1b520944f04ae1d7464432e3ca2
|
4.9 MB | Download |
|
md5:cf813a3c429f1348a0574b4fefe90223
|
54.3 kB | Download |
|
md5:8fecdf25e5ef3173d5509eefb0dda369
|
33.8 kB | Download |
|
md5:0f6cc59d042e64576ddd9a6d060f9931
|
34.9 kB | Download |
|
md5:3e42f6773315bfe6cf6f79ee24015125
|
1.8 MB | Download |
|
md5:f05f674fc736b0d55d21fb44f515f0ed
|
4.5 MB | Download |
|
md5:c83ca48cde7d6e2de646c0566fceca37
|
2.0 MB | Download |
|
md5:e638c52c341cebb459a872a4c85d81cd
|
4.3 MB | Download |
|
md5:c69e736ea6e11e41fcad39fd7502fb78
|
105.7 kB | Download |
|
md5:2ed8d86cd4c48e33df40c1d47b33786c
|
2.7 MB | Download |
|
md5:3f135c20c59928b2e1769df7b94841c4
|
342.6 MB | Download |
|
md5:05a96bbefbd1f7dca5be43a3678a7444
|
630.2 kB | Download |
|
md5:f1dd51e08623b8808e420ccf2a0c3cd8
|
1.7 MB | Download |
|
md5:498344e64e4e69fc0bde7e3a9e679c4c
|
731.9 kB | Download |
|
md5:cad5b915a52176a12a8c646fcc56a925
|
5.4 MB | Download |
|
md5:e4fca6db554998606ecce02b7f1aea8b
|
268.2 kB | Download |
|
md5:1312bdda0b1fb3ff676dc9ac9ca7218e
|
354.9 kB | Download |
|
md5:1e975cd23844d928125358d8a01e965e
|
4.5 MB | Download |
|
md5:6a4512f2e127c34a618e33108fcb3d91
|
5.0 MB | Download |
|
md5:6664fd9241bb94631d28a4b325dd41dc
|
37.7 kB | Download |
|
md5:190909367c9bebe54278161ba449ba36
|
30.8 kB | Download |
|
md5:599669a5a4748b457bb8b0bbe0510755
|
391.3 kB | Download |
|
md5:1799dde46bab6be1f2f9e2435c264fce
|
2.4 MB | Download |
|
md5:45e78cfd3276dca4be33f18d24e753cb
|
27.8 kB | Download |
|
md5:583dec1242a0e1c3733d0eeb46336683
|
29.4 kB | Download |
|
md5:34fe1a554afadf9e6f1e54425ba6c2b3
|
273.4 kB | Download |
|
md5:1a4d763b2dc2fb87f1aef0b8bebb9900
|
2.5 MB | Download |
|
md5:c5f080b4b6498ebbc4ae0d0c821dd821
|
26.5 kB | Download |
|
md5:8df354a812e4b4d23e44d62b9ed000dd
|
861.0 kB | Download |
|
md5:eb29447a34e283f42e7f7253662cadf1
|
82.7 kB | Download |
|
md5:40c4028411d93aff92714a34d26927a5
|
17.8 kB | Download |
|
md5:e0f03df09f73e526b7ca6321a0e4eaed
|
5.5 MB | Download |
|
md5:6f128fc5f0dce07c35de31842a926e8a
|
83.9 kB | Download |
|
md5:6d33ead0dbb3ddc183d733b2fb5eaae0
|
222.1 kB | Download |
|
md5:9e376a33e21f6ad9797e852a6efe97b6
|
175.7 kB | Download |
|
md5:dfaec0014f7451ffe366e3a47352adb3
|
8.8 GB | Download |
|
md5:0a3b4f53dd7d84679782704e2716d8ec
|
10.2 MB | Download |
|
md5:3615a7ba39c3593db080fc32f4f66a08
|
10.9 MB | Download |
|
md5:efba96b14692e8e6ab2668f0391797d1
|
133.5 kB | Download |
|
md5:338214545df541f22e1faf3aaa10260a
|
82.4 kB | Download |
|
md5:08c020face4f9a47483d7af7aebf00f0
|
84.7 kB | Download |
|
md5:0a9dc0a88c194acf8505a3d8ed52e914
|
4.9 MB | Download |
|
md5:108e259460908f6293e8a3dfe71ba46d
|
12.7 MB | Download |
|
md5:ddcc940d85d4560c91ab2c982c64b147
|
4.5 MB | Download |
|
md5:b4cf13cf919eae7f862fef8cea244d65
|
27.9 MB | Download |
|
md5:de9d96b1cc7b7405bf21c439b8b0bc05
|
218.4 kB | Download |
|
md5:d144f5584ba99646c071d1edd0034099
|
5.7 MB | Download |
|
md5:c86c88f59a609bd42f383381ff408da4
|
987.0 MB | Download |
|
md5:a45a8d85999a2b58d43f52e617d3736a
|
1.3 MB | Download |
|
md5:65f1acea4a475748d679638d6724ae44
|
2.4 MB | Download |
|
md5:0d7d15df6db2f520a61abd14a6f4ce8a
|
1.6 MB | Download |
|
md5:963851babb5e7bcabbf55db16090af05
|
11.6 MB | Download |
|
md5:75b19bad6e9b633afbf810cd442ca2c7
|
649.8 kB | Download |
|
md5:f8524e28b4349b4bae41eaf5d645cfe9
|
808.4 kB | Download |
|
md5:6837a211a4ef1e1e6823d501f00c36d0
|
11.6 MB | Download |
|
md5:5f682d3a3bfbf687af353344aefd65f7
|
7.8 MB | Download |
|
md5:fa4408c244a27d58499fd24953be55b5
|
83.4 kB | Download |
|
md5:4ad1cac2a75cab1faa53296e5561c98c
|
60.6 kB | Download |
|
md5:27c357b51c69d3bfae5ae1c2d34faaeb
|
845.0 kB | Download |
|
md5:d58da39eb61e1dc12aff729baecfd259
|
4.9 MB | Download |
|
md5:ae1a592b92245e62e90678d69eb7df03
|
55.8 kB | Download |
|
md5:f4e9f7008657a4bd7541f2949cb9fdbe
|
59.8 kB | Download |
|
md5:33e4f11b2a996232c983203a03dd8dd2
|
539.1 kB | Download |
|
md5:879d2addb1b6ffc42e31afa7af16f90e
|
5.6 MB | Download |
|
md5:c1914a4092e8457ed8cb844e5f2131eb
|
51.0 kB | Download |
|
md5:4cc646058036ba1195d0e3667214e933
|
2.8 MB | Download |
|
md5:56e184cba1c4702e614999cebf6b6541
|
170.2 kB | Download |
|
md5:4399e95531fcb4c1b8327a8738a0bf90
|
35.4 kB | Download |
|
md5:35270f7d11073f015f11d7c036759aed
|
6.4 MB | Download |