D. Deng, W. Zhang, and S. Lu. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, page 785--802. ACM, (2013)
Q. Yang, J. Lü, J. Li, X. Ma, W. Song, and Y. Zou. Proceedings of the Second Asia-Pacific Symposium on Internetware, page 15:1--15:4. New York, NY, USA, ACM, (2010)
B. Wang, C. Wen, W. Zhu, and J. Sheng. International Symposium on Computer Science and Computational Technology, 2008. ISCSCT '08, 2, page 383--386. IEEE, (December 2008)
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..