Caterpillar: Iterative Concolic Execution for Stateful Programs

Publication
International KLEE Workshop on Symbolic Execution (KLEE)
Date