B. Gunjal, S. Urs, and H. Shi. In Proceedings of the ILA-TISS 2008 - International conference on Knowledge for All : Role of Libraries and Information Centres, page 117-127. ILA-TISS 2008, (2008)
S. Ajitha, T. Kumar, D. Geetha, and K. Kanth. 2010 International Conference on Industrial and Information Systems (ICIIS), page 372--376. IEEE, (August 2010)
B. Gunjal, S. Urs, and H. Shi. In Proceedings of the ILA-TISS 2008 - International conference on “Knowledge for All: Role of Libraries and Information Centres, Tata Institute of Social Sciences, Mumbai, ILA-TISS 2008, (12-15 11 2008)
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..