Static Analysis of Predicate-based Synchronisation.

Mikhail Prokharau Daniel Gerlach Steffen Keul

Published in: Softwaretechnik-Trends (2011)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
test generation
malicious code
java card
first order logic
abstract interpretation
case study
regular expressions
test suite
data sets
data mining
open source
data integration