Login / Signup

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

Gogul BalakrishnanSriram SankaranarayananFranjo IvancicOu WeiAarti Gupta
Published in: SAS (2008)
Keyphrases