T. Kishi, и N. Noda. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), стр. 19--26. Boston, MA, (августа 2004)ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert.
Testdaten ergeben sich aus den Transitionen.
Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen..