Specification-to-Code Correlation.

Published in: IEEE Symposium on Security and Privacy (1982)

Keyphrases

code generation
source code
correlation coefficient
high level
data sets
formal specification
correlation analysis
specification language
formal verification
genetic algorithm
learning algorithm
relational databases
open source
modeling language
formal methods