Login / Signup
EFSM-based model-driven approach to concolic testing of system-level design.
Giuseppe Di Guglielmo
Masahiro Fujita
Franco Fummi
Graziano Pravadelli
Stefano Soffia
Published in:
MEMOCODE (2011)
Keyphrases
</>
finite state machines
case study
databases
user interface
design process
levels of abstraction
neural network
artificial intelligence
higher level
building blocks
design principles
relational databases
engineering design
design decisions
design methodology