A Static Analysis to Order Instructions of a Concurrent Program.

Fabrizio Baiardi Laura Ricci

Published in: PDPTA (1995)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
software development
data integration
test cases
third party
regular expressions
test suite
java card
malicious code