182
click to vote
ERLANG
2003
ACM
16 years 15 days 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...