Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation.

Tamarah Arons Elad Elster Terry Murphy Eli Singerman

Published in: MTV (2006)

Keyphrases

embedded software
test generation
code coverage
test cases
software architecture
embedded systems
development projects
test sequences
sequence diagrams
static analysis
quality assurance
software systems
test suite
software testing
low cost
real world
databases
formal specification
case study
decision trees