Selective Symbolic Execution (0)

by V Georgescu V Chipounov, andG Candea C Zamfir
Venue:In Fifth Workshop on Hot Topics in System Dependability (HotDep ’09),2009