Static Analysis of the Determinism of Multithreaded Programs.

Published in: SEFM (2008)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
test generation
malicious code
java card
regular expressions
multi user
databases
test suite
open source
programming environment
reverse engineering
real world
database
api calls