Third international workshop on dynamic analysis(WODA 2005).

James H. Andrews Lori L. Pollock

Published in: ICSE (2005)

Keyphrases

dynamic analysis
static analysis
reverse engineering
revised selected papers
model checking
lecture notes in artificial intelligence
malicious behavior
source code
computer systems
database
data exchange
abstract interpretation
international workshop
data integration
object oriented
data mining
databases