ACM/IEEE International Conference on Software Engineering, ICSE 2016

Article Details
Title: On the techniques we create, the tools we build, and their misalignments: a study of KLEE
Article URLs:
Alternative Article URLs:
Authors: Eric F. Rizzi
  • Grammatech Inc., Ithaca, NY, USA
Sebastian G. Elbaum
  • University of Nebraska - Lincoln, USA
Matthew B. Dwyer
  • University of Nebraska - Lincoln, USA
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1218265, 1346769, 1449626, 1526652
DBLP Key: conf/icse/RizziED16
Author Comments:

Discuss this paper and its artifacts below