95
Voted
PTS
2000
15 years 5 days ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...