Caterpillar: Iterative Concolic Execution for Stateful Programs

Laurent Simon, Shuying Liang, Amir Rahmati, Mike Grace
April, 2018
PDF Slides Venue
Type
Report
Publication
In International KLEE Workshop on Symbolic Execution (KLEE)
Formal Methods