Caterpillar: Iterative Concolic Execution for Stateful Programs

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