H. Klus, D. Niebuhr, и A. Rausch. ICEBE '07: Proceedings of the IEEE International Conference on e-Business Engineering, стр. 600-603. Hong Kong, China, IEEE Computer Society, (октября 2007)
H. Klus, D. Niebuhr, и A. Rausch. Proceedings of the International Workshop on Engineering of software services for pervasive environments (ESSPE 2007), стр. 21--28. Dubrovnik, Croatia, ACM, (сентября 2007)Electronic Proceedings.
A. Rajan, M. Whalen, и M. Heimdahl. ICSE '08: Proceedings of the 30th international conference on Software engineering, стр. 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 '..
T. Kishi, и N. Noda. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), стр. 19--26. Boston, MA, (августа 2004)ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert.
Testdaten ergeben sich aus den Transitionen.
Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen..