Blättern nach Person
Ebene hoch |
Markert, Florian (2012)
Formale Anforderungsanalyse und Testunterstützung im Produktlinienkontext.
Technische Universität Darmstadt
Dissertation, Erstverö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