Formal Methods

Caterpillar: Iterative Concolic Execution for Stateful Programs
Laurent Simon, Shuying Liang, Amir Rahmati, Mike Grace
PDF Slides Venue