C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.
Gogul Balakrishnan
Sriram Sankaranarayanan
Franjo Ivancic
Ou Wei
Aarti Gupta
Published in:
SAS (2008)
Keyphrases
</>
natural language
automatic analysis
syntactic parsing
image analysis
semantic representation
machine learning
object detection
programming language
statistical analysis
detection algorithm
quantitative analysis
endpoints
semantic role labeling
automated analysis