U. Farooq, C. Lam, und H. Li. ACST'07: Proceedings of the third conference on IASTED International Conference, Seite 128--133. Anaheim, CA, USA, ACTA Press, (2007)
A. van Lamsweerde. ICSE '00: Proceedings of the Conference on The Future of Software Engineering, Seite 147--159. New York, NY, USA, ACM, (2000)MR: Wertvoll wegen dem Überblick über formale Spezifikations- und somit Modell-Paradigmen..
J. Calame, N. Ioustinova, und J. van de Pol. Electronic Notes in Theoretical Computer Science, (Oktober 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..
H. Klus, D. Niebuhr, und A. Rausch. ICEBE '07: Proceedings of the IEEE International Conference on e-Business Engineering, Seite 600-603. Hong Kong, China, IEEE Computer Society, (Oktober 2007)
H. Klus, D. Niebuhr, und A. Rausch. Proceedings of the International Workshop on Engineering of software services for pervasive environments (ESSPE 2007), Seite 21--28. Dubrovnik, Croatia, ACM, (September 2007)Electronic Proceedings.
A. Rajan, M. Whalen, und M. Heimdahl. ICSE '08: Proceedings of the 30th international conference on Software engineering, Seite 161--170. New York, NY, USA, ACM, (2008)MR: nuetzlich fuer IST-SPL nur wegen der Referenzen auf eingesetzte Techniken zur ' Test Case Generation using model checkers '..