A Static Analysis of the NAG Library.

Michael A. Hennell J. Alan Prudom

Published in: IEEE Trans. Software Eng. (1980)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
regular expressions
java card
abstract interpretation
test generation
real world
information extraction
open source
test suite