Go to main content
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DataCite
DublinCore
EndNote
NLM
RefWorks
RIS
Cite
Citation

Description

Other: This collection consists of two virtual machines with all data, experiments, and processing scripts referenced in the paper “On the Techniques We Create, the Tools We Build, and Their Misalignments: A Study of KLEE". There is a README explaining how to setup and run the two VMs used in the paper, a VM containing 32bit BugRedux experiments (~3GB), a VM containing all other experiments (~7GB), and two additional files detailing licensing and meta information s (see http://bit.ly/1PWVviz). An additional ReadMe file (version 2) updates the metadata and alerts to issues with some of the files. (Version 1 Description: 64 Bit VM containing experiments on HAMPI, CREST-BV, and the Original KLEE experiments. 32 Bit VM containing experiments on BugRedux)

Details

Files

Statistics

from
to
Export
Download Full History