Published January 25, 2022 | Version v2
Software Open

Replication package for "Diversity-Driven Automated Verification"

Creators

  • 1. University of Massachusetts Amherst

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

U.S. National Science Foundation
SHF: Medium: Fairness in Software Systems 1763423