Konferenzveröffentlichung

Markert, Florian ; Oster, Sebastian (2011)
A Formal Method to Identify Deficiencies of Functional Requirements for Product Lines of Embedded Systems.
Workshop Proceedings der Software Engineering Konferenz 2011.
Konferenzveröffentlichung, Bibliographie

Oster, Sebastian ; Zorcic, Ivan ; Markert, Florian ; Lochau, Malte
Hrsg.: Czarnecki, K. ; Eisenecker, U. (2011)
MoSo-PoLiTe - Tool Support for Pairwise and Model-Based Software Product Line Testing.
5th International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium.
Konferenzveröffentlichung, Bibliographie

Oster, Sebastian ; Markert, Florian ; Ritter, P. (2010)
Automated Incremental Pairwise Testing of Software Product Lines.
Proceedings of the 14th International Software Product Line Conference.
Konferenzveröffentlichung, Bibliographie

Markert, Florian ; Oster, Sebastian (2010)
Model-Based Generation of Test Oracles for Embedded Software Product Lines.
Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools).
Konferenzveröffentlichung, Bibliographie

Oster, Sebastian ; Markert, Florian ; Schürr, Andy (2009)
Integrated Modeling of Software Product Lines with Feature Models and Classification Trees.
Konferenzveröffentlichung, Bibliographie

Schürr, A. ; Oster, Sebastian ; Markert, Florian (2009)
Model-Driven Software Product Line Testing: An Integrated Approach.
36th International Conference on Current Trends in Theory and Practice of Computer Science.
Konferenzveröffentlichung, Bibliographie

Dissertation

Markert, Florian (2012)
Formale Anforderungsanalyse und Testunterstützung im Produktlinienkontext.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung