S. Pickin, C. Jard, Y. Traon, T. Jéron, J. Jézéquel, und A. Guennec. FORTE, Seite 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, und Y. Traon. AFRICOMM, Volume 135 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 95-103. Springer, (2013)
C. Nebut, F. Fleurey, Y. Traon, und J. Jézéquel. ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, Seite 85. Washington, DC, USA, IEEE Computer Society, (2003)
C. Nebut, F. Fleurey, Y. Traon, und {. Jézéquel. ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, Seite 85. Washington, DC, USA, IEEE Computer Society, (2003)