On fault classes and error detection capability of specification-based testing.
Tatsuhiro TsuchiyaTohru KikunoPublished in: ACM Trans. Softw. Eng. Methodol. (2002)
Keyphrases
- error detection
- error correction
- fault isolation
- error recovery
- code generation
- data cleansing
- error correcting
- fault tolerance
- error resilient
- high level
- fault model
- fault diagnosis
- test case generation
- application development
- error control
- formal verification
- fault tolerant
- specification language
- software testing
- test suite
- fault detection
- outlier detection
- test cases
- intelligent systems