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