@article{article8f3e243d,
title   = {Generation of complete test suites from mealy input/output transition systems},
author = {Paiva, Sofia Costa and Simão, Adenilso da Silva},
year = {2016},
doi = {10.1007/s00165-015-0350-2},
journal   = {Formal Aspects of Computing}
}