DMCA

Selective symbolic execution (2009)

by Vitaly Chipounov , Vlad Georgescu , Cristian Zamfir , George Candea
Venue:in Workshop on Hot Topics in Dependable Systems
Citations:11 - 4 self