Xin Li Daryl Shannon Indradeep Ghosh Mizuhito Ogawa Sreeranga P. Rajan Sarfraz Khurshid Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. 36-52 2008 APLAS http://dx.doi.org/10.1007/978-3-540-89330-1_4 conf/aplas/2008 db/conf/aplas/aplas2008.html#LiSGORK08