C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Efficient Incremental Static Analysis Using Path Abstraction.
Rashmi Mudduluru
Murali Krishna Ramanathan
Published in:
FASE (2014)
Keyphrases
</>
static analysis
efficient incremental
traversal patterns
dynamic analysis
source code
malicious code
high level
regular expressions
symbolic execution
open source
shortest path
materialized views
java card
test generation
reverse engineering
databases
database
decision support