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)
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..