Dawson Engler

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

RWset: Attacking Path Explosion in Constraint-Based Test Generation

Peter Boonstoppel and others (2008) · Springer Berlin Heidelberg

EXE: Automatically generating inputs of death

Cristian Cadar and others (2008) · ACM Transactions on Information and System Security · Association for Computing Machinery