Generating customized verifiers for automatically generated code.

Ewen Denney Bernd Fischer

Published in: GPCE (2008)

Keyphrases

automatically generated
automatically generating
code generator
automatically generate
source code
manually created
manually generated
manually constructed
automatically created
image segmentation
knowledge representation
general purpose
language model
software systems
speech transcripts