Published January 25, 2022
| Version v2
Software
Open
Replication package for "Diversity-Driven Automated Verification"
Description
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
artifact_documentation.zip
Files
(21.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:d2a9482a60f4d9c037e49ca38cb5a29e
|
6.7 kB | Preview Download |
|
md5:726e94f8c8c721b4f36aa67d9dc7d438
|
15.8 GB | Download |
|
md5:deb06c85aaf43cdfc859800553e5aef8
|
1.3 GB | Download |
|
md5:903d7e672c7fd000043c952046abdb0b
|
1.5 GB | Download |
|
md5:abac7b3f6374e1e0a63fba26821a7358
|
416.7 MB | Download |
|
md5:e7d0203650b021509e7b5618c518b5b4
|
2.1 GB | Download |
|
md5:5beb532e5fb72b037d6dae1ad7fff3ec
|
57.1 MB | Download |
Additional details
Related works
- Is cited by
- Conference paper: 10.1145/3510003.3510138 (DOI)
Funding
- SHF: Medium: Fairness in Software Systems 1763423
- National Science Foundation