1 paper · 1 filter
Bálint Kocsis, Jurriaan Rot
Conformance testing of automata is about checking the equivalence of a known specification and a black-box implementation. An important notion in conformance testing is that of a c…