The idea of using models in mutation analysis dates back to mid 1980s. Recently, it is shown that, with some proper adaptations, mutation testing can also be utilized as a black-box testing approach. For this purpose, a ...