Improving active Mealy machine learning for protocol conformance testing
scientific article; zbMATH DE number 6377375
scientific article