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..
M. Low, L. Wei, P. Lendermann, S. Turner, S. Leo, and R. Chim. In Proceedings of the 2005 International Conference on Autonomous Agent and Multiagent Systems (AAMAS), page 85-92. Utrecht, The Netherland, (July 2005)