158
Voted
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...