SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs.

Qichang Chen Liqiang Wang Zijiang Yang

Published in: Haifa Verification Conference (2011)

Keyphrases

dynamic analysis
static analysis
reverse engineering
abstract interpretation
multi user
computer programs
pattern matching
software engineering
automatic programming
database systems
open source
model checking
relational data
object oriented
mutual exclusion
malicious behavior
machine learning