View in EDS PDF Full Text

On the TechniquesWe Create, the Tools We Build, and Their Misalignments: a Study of KLEE.

Saved in:
Bibliographic Details
Title: On the TechniquesWe Create, the Tools We Build, and Their Misalignments: a Study of KLEE.
Authors: Rizzi, Eric F.1, erizz@grammatech.com, Elbaum, Sebastian2, elbaum@cse.unl.edu, Dwyer, Matthew B.2, dwyer@cse.unl.edu
Source: ICSE: International Conference on Software Engineering; 5/14/2016, p132-143, 12p
Database: Applied Science & Technology Source
Description
DOI:10.1145/2884781.2884835