J. Gutiérrez, C. Nebut, M. Escalona, M. Mejías, and I. Ramos. Model Driven Engineering Languages and Systems, volume 5301 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)
T. Yue, L. Briand, and Y. Labiche. Modelling Foundations and Applications, volume 6138 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2010)
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..
C. Mingsong, Q. Xiaokang, and L. Xuandong. AST '06: Proceedings of the 2006 international workshop on Automation of software test, page 2--8. New York, NY, USA, ACM, (2006)