From Specifications to Code Compliance Checkers.

Y. Prasanth Sanjeev K. Aggarwal

Published in: IASTED Conf. on Software Engineering (2005)

Keyphrases

code generation
unit testing
source code
control flow
high level
formal specification
case study
error correcting
delay insensitive
databases
artificial intelligence
open source
test cases
game playing
functional requirements
operational semantics