A. Engel. Wiley Series in Systems Engineering and Management Wiley, 1 издание, (2010)Wertvoll wegen den verschiedenen Black-Box-Testing Methoden für komplexe Systeme..
R. Schmidberger, и S. Biermann. Informatik 2007 - Band 2, GI-Edition, (сентября 2007)MR: Zeigt beispielhaft die Anwendung von OCL für den Systemtest. Auch der Realisierungsweg wird gezeigt.
ISBN 978-3-88579-204-8.
J. Hartmann, M. Vieira, и A. Ruder. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), стр. 58--65. Boston, MA, (августа 2004)
C. Nebut, F. Fleurey, Y. Traon, и J. Jézéquel. ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, стр. 85. Washington, DC, USA, IEEE Computer Society, (2003)
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..
J. Andrews, R. Fu, и V. Liu. ASE '02: Proceedings of the 17th IEEE international conference on Automated software engineering, стр. 275. Washington, DC, USA, IEEE Computer Society, (2002)ST: Nachtrag zum Paper "Testing using Log File Analysis: Tools, Methods, and Issues". Die dort vorgestellte Technik wird dahingehend erweitert, dass der Grad der Abdeckung der Transitionen des Orakels durch die Testfaelle gemessen werden kann. Außerdem können Testfaelle auf Basis des Orakels abgeleitet werden (Ist dass sinnvoll?) und das Testorakel kann automatisch validiert werden..