Software Open Access
Replication package for "Diversity-Driven Automated Verification"
First, Emily;
Brun, Yuriy
Replication package for "Diversity-Driven Automated Verification" by Emily First and Yuriy Brun. Published in the ACM/IEEE International Conference on Software Engineering (ICSE) 2022. https://doi.org/10.1145/3510003.3510138
Files
(21.1 GB)
| Name | Size | |
|---|---|---|
|
artifact_documentation.zip
md5:d2a9482a60f4d9c037e49ca38cb5a29e |
6.7 kB | Download |
|
icse2022.ova
md5:726e94f8c8c721b4f36aa67d9dc7d438 |
15.8 GB | Download |
|
proof_step_part1.tar.gz
md5:deb06c85aaf43cdfc859800553e5aef8 |
1.3 GB | Download |
|
proof_step_part2.tar.gz
md5:903d7e672c7fd000043c952046abdb0b |
1.5 GB | Download |
|
proof_step_part3.tar.gz
md5:abac7b3f6374e1e0a63fba26821a7358 |
416.7 MB | Download |
|
proof_step_part4.tar.gz
md5:e7d0203650b021509e7b5618c518b5b4 |
2.1 GB | Download |
|
result_files.tar.gz
md5:5beb532e5fb72b037d6dae1ad7fff3ec |
57.1 MB | Download |
310
205
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 310 | 216 |
| Downloads | 205 | 165 |
| Data volume | 1.3 TB | 1.1 TB |
| Unique views | 207 | 162 |
| Unique downloads | 113 | 94 |
Indexed in
- Publication date:
- January 25, 2022
- DOI:
-
- Grants:
-
National Science Foundation:
- SHF: Medium: Fairness in Software Systems (1763423)
- Related identifiers:
- Cited by
- 10.1145/3510003.3510138 (Conference paper)
- License (for files):
- MIT License