Static Analysis of Barrier Synchronization in Explicitly Parallel Programs.
Tor E. JeremiassenSusan J. EggersPublished in: IFIP PACT (1994)
Keyphrases
- static analysis
- symbolic execution
- dynamic analysis
- abstract interpretation
- source code
- high level programming language
- java card
- test suite
- regular expressions
- malicious code
- parallel processing
- shared memory
- test generation
- reverse engineering
- parallel computation
- parallel execution
- runtime environment
- cd rom
- java programs
- test case generation
- open source
- database