An extended fault class hierarchy for specification-based testing.

Man Fai Lau Yuen-Tak Yu

Published in: ACM Trans. Softw. Eng. Methodol. (2005)

Keyphrases

class hierarchy
formal verification
test case generation
fault diagnosis
fault detection
fault model
real time embedded systems
artificial intelligence
formal specification
database
high level
software architecture
code generation
advanced transaction models