Experiments for "On the Techniques We Create, the Tools We Build, and Their Misalignments"
2015
Description
64 Bit VM containing experiments on HAMPI, CREST-BV, and the Original KLEE experiments. 32 Bit VM containing experiments on BugRedux
Details
Title
Experiments for "On the Techniques We Create, the Tools We Build, and Their Misalignments"
Creator
Rizzi, Eric (University of Nebraska-Lincoln)
Contributor
Rizzi, Eric Project Leader (University of Nebraska-Lincoln)
Elbaum, Sebastian Project Member (University of Nebraska-Lincoln)
Dwyer, Matthew Contact Person (University of Nebraska-Lincoln)
Elbaum, Sebastian Project Member (University of Nebraska-Lincoln)
Dwyer, Matthew Contact Person (University of Nebraska-Lincoln)
Date
2015-09-02
Publisher
University of Nebraska
Keyword
Resource Type General
Dataset
Resource Type
Software
Text
Text
Record Created
2024-11-21
Record ID
58
System Control Number
178440
Version
1
Language
English
Relevant Dates
Submitted: 2015-09-02
Usage Statement
Creative Commons Attribution 4.0 (CC-BY-4.0) International, (https://creativecommons.org/licenses/by/4.0/)
Record Appears in
Version
1
Related Items
Relation Type
Is Part Of
Related Item
Dataset
Title
Discovery Over Application: A Case Study of Misaligned Incentives in Software Engineering
Identifier
Relation Type
Is Part Of
Related Item
Dataset
Title
On the techniques we create, the tools we build, and their misalignments: a study of KLEE