Suan Hsi Yong Susan Horwitz Using Static Analysis to Reduce Dynamic Analysis Overhead. 313-334 2005 27 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-005-3401-0 db/journals/fmsd/fmsd27.html#YongH05