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

Share

COinS