Write barrier removal by static analysis.

Karen Zee Martin C. Rinard

Published in: OOPSLA (2002)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
abstract interpretation
malicious code
java card
symbolic execution
test generation
open source
test suite
building blocks
artificial intelligence
training set
database systems
decision trees
metadata