olemus
testimine, mille strateegia põhineb tarkvara struktuuri, käitumise või spetsifikatsioonide modelleerimisel lõpliku automaadiga
= testing where strategy is based on the use of finite state machine models for software structure, software behavior, or specifications of software behavior

näiteid
https://subs.emis.de/LNI/Proceedings/Proceedings41/GI-Proceedings.41-2.pdf

https://ijritcc.org/index.php/ijritcc/article/view/6615/5891