Automated Synthesis of Assertion Monitors using Visual Specifications

Ambar A. Gadkari S. Ramesh

Published in: CoRR (2007)

Keyphrases

semi automated
low level
visual information
program synthesis
visual perception
formal specification
visual processing
databases
texture synthesis
data driven
computer aided
functional requirements
visual appearance
high level
operational semantics
visual exploration
artificial intelligence