S. Pickin, C. Jard, Y. Traon, T. Jéron, J. Jézéquel, и A. Guennec. FORTE, стр. 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, и Y. Traon. AFRICOMM, том 135 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 95-103. Springer, (2013)