A Framework for CFG-Based Static Program Analysis of Ada Programs.

Raul Fechete Georg Kienesberger Johann Blieberger

Published in: Ada-Europe (2008)

Keyphrases

main contribution
computational framework
data sets
pattern matching
genetic algorithm
object oriented