Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.

Rahul Agarwal Liqiang Wang Scott D. Stoller

Published in: Haifa Verification Conference (2005)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
java card
symbolic execution
regular expressions
abstract interpretation
test generation
real time
monitoring system
api calls
test suite
semi automatic
pattern matching
structured data
building blocks
domain knowledge
high level
databases