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)
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..