Effective grey-box testing with partial FSM models

Robert Sachtleben, Jan Peleska

For partial, nondeterministic, finite state machines, a new conformance relation called strong reduction is presented. It complements other existing conformance relations in the se…