The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software.

Published in: SAFECOMP (1993)

Keyphrases

static analysis
source code
dynamic analysis
symbolic execution
malicious code
java card
abstract interpretation
software systems
regular expressions
test suite
computer systems
databases
software development
test generation
high level
software architecture
database systems
real world
database