Libraries, University of Nebraska-Lincoln
University of Nebraska-Lincoln Data Repository
Accessibility Remediation
If you are unable to use this item in its current form due to accessibility barriers, you may request remediation through our remediation request form.
Experiments for "On the Techniques We Create, the Tools We Build, and Their Misalignments"
Date of this Version
9-2-2015
Document Type
Article
Citation
Rizzi, E., Elbaum, S., & Dwyer, M. (2015). Experiments for "On the Techniques We Create, the Tools We Build, and Their Misalignments". UNL Data Repository. http://dx.doi.org/10.13014/K2H41PB7
Abstract
32 Bit VM containing experiments on BugRedux and 64 Bit VM containing experiments on HAMPI, CREST-BV, and the Original KLEE experiments
COinS