Libraries at University of Nebraska-Lincoln

 

Title

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

Share

COinS