Gogul Balakrishnan Sriram Sankaranarayanan Franjo Ivancic Ou Wei Aarti Gupta SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. 238-254 2008 SAS http://dx.doi.org/10.1007/978-3-540-69166-2_16 conf/sas/2008 db/conf/sas/sas2008.html#BalakrishnanSIWG08