Ghedamsi method
Three phases
- a formal test case selection method is used to generate a set of test cases
- a minimal set of possible incorrect implementations (call diagnosis) which can pass the test cases are produced
- additional test cases are applied to the protocol implementation to locate the single diagnosis implemented
Weaknesses
- the second phase is too complex
- the third phase involves too long time