Improving the Execution Efficiency of Barrier Synchronization in Software DSM through Static Analysis.

Jae Bum Lee Chu Shik Jhon

Published in: Int. J. High Speed Comput. (2000)

Keyphrases

static analysis
symbolic execution
source code
dynamic analysis
java card
malicious code
test generation
abstract interpretation
test suite
open source
regular expressions
software maintenance
pattern matching
data flow
test case generation