Generating C Code from LOGS Specifications.

Jianguo Zhou Yifeng Chen

Published in: ICTAC (2005)

Keyphrases

code generation
unit testing
control flow
source code
formal specification
functional requirements
real time
log files
web applications
high level
case study
log data
open source
generation process
relational databases
formal language
execution traces
delay insensitive