Static analysis of concurrent software for deriving synchronization constraints.

Richard H. Carver Kuo-Chung Tai

Published in: ICDCS (1991)

Keyphrases

static analysis
source code
dynamic analysis
test suite
mutual exclusion
malicious code
regular expressions
test generation
java card
concurrent programs
symbolic execution
software development
abstract interpretation
data flow
software components
feature space
database