W. Wang. Elektronisch, (2010)Verfasserangabe: by Wanlong Wang, Henry W. Stoll, James G. Conley ; Online-Ressource Kann nicht per Fernleihe bestellt werden! ; Quelldatenbank: HBZ\_F.
M. Chen, X. Qiu, W. Xu, L. Wang, J. Zhao, and X. Li. The Computer Journal, (2007)MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgeführt werden um bestimmte Eingaben für das Verfahren zu liefern.
Die Generierung von Testdaten ist kaum automatisiert.
Für IST-SPL interessant wegen den Formalismen für Aktivitätsdiagramme..