S. Pickin, C. Jard, Y. Traon, T. Jéron, J. Jézéquel, and A. Guennec. FORTE, page 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet.
Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..
T. Bissyandé, D. Ahmat, J. Ouoba, G. van Stam, J. Klein, and Y. Traon. AFRICOMM, volume 135 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 95-103. Springer, (2013)