Lowering STM Overhead with Static Analysis.

Yehuda Afek Guy Korland Arie Zilberstein

Published in: LCPC (2010)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
abstract interpretation
test generation
short term memory
malicious code
regular expressions
java card
artificial intelligence
case study
working memory
relational databases
test suite
knowledge base
learning algorithm
real world