Experiments for "On the Techniques We Create, the Tools We Build, and Their Misalignments"

Authors

Eric F. Rizzi, University of Nebraska-LincolnFollow
Sebastian Elbaum, University of Nebraska-LincolnFollow
M. Dwyer, University of Nebraska-LincolnFollow

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