C. Mingsong, Q. Xiaokang, и L. Xuandong. AST '06: Proceedings of the 2006 international workshop on Automation of software test, стр. 2--8. New York, NY, USA, ACM, (2006)
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..
C. Mingsong, Q. Xiaokang, и L. Xuandong. AST '06: Proceedings of the 2006 international workshop on Automation of software test, стр. 2--8. New York, NY, USA, ACM, (2006)