T. Chen, S. Tang, P. Poon, и T. Tse. QSIC '05: Proceedings of the Fifth International Conference on Quality Software, стр. 55--63. Washington, DC, USA, IEEE Computer Society, (2005)
M. Chen, X. Qiu, W. Xu, L. Wang, J. Zhao, и 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..