F. Hadjam, C. Moraga, and M. Benmohamed. Late breaking paper at Genetic and Evolutionary
Computation Conference (GECCO'2007), page 2475--2482. London, United Kingdom, ACM Press, (7-11 July 2007)
G. Folino, C. Pizzuti, and G. Spezzano. Genetic Programming, Proceedings of EuroGP'2001, volume 2038 of LNCS, page 64--73. Lake Como, Italy, Springer-Verlag, (18-20 April 2001)
U. Farooq, C. Lam, and H. Li. ACST'07: Proceedings of the third conference on IASTED International Conference, page 128--133. Anaheim, CA, USA, ACTA Press, (2007)
A. van Lamsweerde. ICSE '00: Proceedings of the Conference on The Future of Software Engineering, page 147--159. New York, NY, USA, ACM, (2000)MR: Wertvoll wegen dem Überblick über formale Spezifikations- und somit Modell-Paradigmen..
J. Calame, N. Ioustinova, and J. van de Pol. Electronic Notes in Theoretical Computer Science, (October 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..