Login / Signup
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