Fingerprint
Dive into the research topics of 'SLR: Path-sensitive analysis through infeasible-path detection and syntactic language refinement'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
SLR: Path-sensitive analysis through infeasible-path detection and syntactic language refinement
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivančić, Ou Wei, Aarti Gupta
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
29
Scopus
citations