Selective symbolic execution (2009)

by V Chipounov, V Georgescu, C Zamfir, G Candea
Venue:in Workshop on Hot Topics in Dependable Systems