A Fault Taxonomy for Service-Oriented Architecture. - Stefan Brüning; Stephan Weißleder; Miroslaw Malek (HASE, 2007)

Deriving Input Partitions from UML Models for Automatic Test Generation. - Stephan Weißleder; Bernd-Holger Schlingloff (MoDELS (Workshops), 2007)

Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages. - Daniel A. Sadilek; Stephan Weißleder (DSML, 2008)

Testing Metamodels. - Daniel A. Sadilek; Stephan Weißleder (ECMDA-FA, 2008)

Partition-Oriented Test Generation. - Stephan Weißleder (GI Jahrestagung (1), 2008)

Quality of Automatically Generated Test Cases based on OCL Expressions. - Stephan Weißleder; Bernd-Holger Schlingloff (ICST, 2008)

Composition of Model-based Test Coverage Criteria. - Mario Friske; Bernd-Holger Schlingloff; Stephan Weißleder (MBEES, 2008)

Automatic Test Case Generation from UML Models and OCL Expressions. - Stephan Weißleder; Dehla Sokenou (Software Engineering (Workshops), 2008)

Cause-Effect Graphs for Test Models Based on UML and OCL. - Stephan Weißleder; Dehla Sokenou (Softwaretechnik-Trends, 2008)

Semantic-Preserving Test Model Transformationsfor Interchangeable Coverage Criteria. - Stephan Weißleder (MBEES, 2009)

MoDeVVa Workshop Summary. - Levi Lucio; Stephan Weißleder (MoDELS (Workshops), 2009)

Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation. - Stephan Weißleder (MoDELS, 2009)

System Models vs. Test Models -Distinguishing the Undistinguishable? - Stephan Weißleder; Hartmut Lackner (GI Jahrestagung (2), 2010)

Simulated Satisfaction of Coverage Criteria on UML State Machines. - Stephan Weißleder (ICST, 2010)

Static and Dynamic Boundary Value Analysis. - Stephan Weißleder (MBEES, 2010)

MoDeVVa 2010 Workshop Summary. - Levi Lucio; Elisangela Vieira; Stephan Weißleder (MoDELS (Workshops), 2010)

ParTeG - Integrating Model-based Testing and Model Transformations. - Dehla Sokenou; Stephan Weißleder (Software Engineering, 2010)

A Generic Approach to Run Mutation Analysis. - Siamak Haschemi; Stephan Weißleder (TAIC PART, 2010)

ParTeG - A Model-Based Testing Tool. - Stephan Weißleder; Dehla Sokenou (Softwaretechnik-Trends, 2010)

Test models and coverage criteria for automatic model-based test generation with UML state machines. - Stephan Weißleder (2010)

Automatic Model-Based Test Generation from UML State Machines. - Stephan Weißleder; Holger Schlingloff (Model-Based Testing for Embedded Systems, 2011)

Simulated Restriction of Coverage Criteria on UML State Machines. - Stephan Weißleder; Thomas Rogenhofer (ICST Workshops, 2011)

Concatenating Sequence-Based Requirements in Model-Based Testing with State Machines. - Stephan Weißleder; Dehla Sokenou (MBEES, 2011)

MoDeVVa 2011 Workshop Summary. - Levi Lucio; Stephan Weißleder; Frédéric Fondement; Harald Cichos (MoDELS (Workshops), 2011)

Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State Machines. - Stephan Weißleder (QSIC, 2011)

From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain. - Marcus Mews; Jaroslav Svacina; Stephan Weißleder (ICST, 2012)

Model-Based Testing: Achievements and Future Challenges. - Michael Mlynarski; Baris Güldali; Stephan Weißleder; Gregor Engels (Adv. Comput., 2012)

ConSequence - Model-Based Testing With State Machines and Concatenated Sequence Diagrams. - Stephan Weißleder; Dehla Sokenou (Softwaretechnik-Trends, 2012)

Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines - Stephan Weißleder; Hartmut Lackner (MBT, 2013)

Zwei Ansätze zur automatischen modellbasierten Generierung von Testfällen für variantenreiche Systeme. - Stephan Weißleder; Hartmut Lackner (Softwaretechnik-Trends, 2013)

Achieving Quality in Customer-Configurable Products. - Martin Große-Rhode; Robert Hilbrich; Stefan Mann; Stephan Weißleder (Relating System Quality and Software Architecture, 2014)

Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level. - Hartmut Lackner; Martin Thomas; Florian Wartenberg; Stephan Weißleder (ICST, 2014)

An Evaluation of Model-Based Testing in Embedded Applications. - Stephan Weißleder; Holger Schlingloff (ICST, 2014)

Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers. - Felix Kurth; Sibylle Schupp; Stephan Weißleder (TAP@STAF, 2014)

Automated Test Design for Boundaries of Product Line Variants. - Stephan Weißleder; Florian Wartenberg; Hartmut Lackner (ICTSS, 2015)

Variant Management and Reuse. - Ina Schaefer; André Heuer; Michael Himsolt; Tobias Jäger; Tobias Kaufmann 003; Christian Manz; Reinhold May; Christian Reuter 002; Bernhard Rumpe; Holger Schlingloff; Sebastian Schröck; Christoph Schulze 002; et al. (Advanced Model-Based Engineering of Embedded Systems, 2016)

Challenges for MBSE and PLE for Legacy Product-Based System Environments. - Michael Schäfer; Friedemann Bitsch; Stephan Weißleder; Florian Wartenberg (CSDM, 2016)

Der Glaubenskrieg über Testautomatisierung. - Matthias Hamburg; Stephan Weißleder (GI-Jahrestagung, 2021)