Test Generation for CEFSM Combining Specification and Fault Coverage.

Sergiy Boroday Alexandre Petrenko Roland Groz Yves-Marie Quemener

Published in: TestCom (2002)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
software testing
quality assurance
mutation testing
static analysis
specification language
code coverage
databases
high level
information technology
visual information
formal specification