Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation.

Published in: Comput. Networks ISDN Syst. (1996)

Keyphrases

test generation
test cases
transition systems
symbolic execution
test sequences
software testing
control flow
static analysis
code coverage
concurrent systems
quality assurance
model checking
temporal logic
test data generation
relational databases
test suite
software architecture
distributed systems