Using Static Analysis to Reduce Dynamic Analysis Overhead

Suan Hsi Yong, Susan Horwitz. Using Static Analysis to Reduce Dynamic Analysis Overhead. Formal Methods in System Design, 27(3):313-334, 2005. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: