Statically Safe Program Generation with SafeGen.

Shan Shan Huang David Zook Yannis Smaragdakis

Published in: GPCE (2005)

Keyphrases

computer programs
real time
databases
three dimensional
fault localization
data sets
website
decision trees
search algorithm
software engineering
generation method
java programs
program execution