The static analysis of Cobol programs.

Michael A. Hennell W. M. McNicol J. Hawkins

Published in: ACM SIGSOFT Softw. Eng. Notes (1980)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
test generation
malicious code
programming language
regular expressions
api calls
test suite
java card
data sets
case study
software development
reverse engineering