130
click to vote
ERLANG
2003
ACM
15 years 8 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...