Static analysis of multiway synchronization.

Peter B. Ladkin Barbara B. Simons

Published in: CASCON (1994)

Keyphrases

static analysis
dynamic analysis
source code
java card
malicious code
symbolic execution
regular expressions
test generation
chaotic systems
database
xml documents
data warehouse
pattern matching
test suite
tree structures
abstract interpretation