SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta

Browse the full SAS paper archive.