D. Habich, P. Volk, W. Lehner, R. Dittmann, и C. Utzny. ICDMW '07: Proceedings of the Seventh IEEE International Conference on Data Mining Workshops, стр. 471--476. Washington, DC, USA, IEEE Computer Society, (2007)
P. Ngan, M. Wong, W. Lam, K. Leung, и J. Cheng. Artificial Intelligent in Medicine, 16 (1):
73--96(1999)Special Issue On Data Mining Techniques and
Applications in Medicine.
M. Eppstein, J. Payne, B. White, и J. Moore. Late breaking paper at Genetic and Evolutionary
Computation Conference (GECCO'2006), Seattle, WA, USA, (8-12 July 2006)
J. Calame, N. Ioustinova, и J. van de Pol. Electronic Notes in Theoretical Computer Science, (октября 2007)MR: Stark formalisiertes und mathematisch ergründetes Werk.
Basierend auf der Spezifikation des IUT (gegeben in LTS) wird der Lösungsraum durch data abstraction eingeengt (mittels µCRL). Mittels enumerativ tools (wie TGV) werden dann abstrakte Testfälle generiert. Die konkreten Daten (Ein und Ausgaben!) werden mittels constraint-solving techniques (mittels Prolog) ermittelt.
Future Work soll ermöglichen UML-Spezifikationen als Eingabe zu erlauben und die Testfälle sollen in TTCN-3 generiert werden!
Spätestens dann wird dieser Ansatz für IST-SPL sehr interessant..