DyTa: Dynamic symbolic execution guided with static verication results (0)

by X GE, K TANEJA, T XIE, N TILLMANN
Venue:In ICSE 2011, Demonstration