Amir Rahmati
Amir Rahmati
Home
Teaching
Research
Current Students
Prospective Students
Publications
Useful Links
Light
Dark
Automatic
Formal Methods
Caterpillar: Iterative Concolic Execution for Stateful Programs
Laurent Simon
,
Shuying Liang
,
Amir Rahmati
,
Mike Grace
PDF
Slides
Venue
Cite
×