Stephan Weißleder

According to our database, Stephan Weißleder authored at least 38 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Der Glaubenskrieg über Testautomatisierung.

Matthias Hamburg, Stephan Weißleder

Proceedings of the 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September, 2021

2016

Challenges for MBSE and PLE for Legacy Product-Based System Environments.

Michael Schäfer, Friedemann Bitsch, Stephan Weißleder, Florian Wartenberg

Proceedings of the Complex Systems Design & Management, 2016

Variant Management and Reuse.

Ina Schaefer, André Heuer, Michael Himsolt, Tobias Jäger, Tobias Kaufmann, Christian Manz, Reinhold May, Christian Reuter, Bernhard Rumpe, Holger Schlingloff, Sebastian Schröck, Christoph Schulze, Michael Schulze, Stephan Weißleder

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

Automated Test Design for Boundaries of Product Line Variants.

Stephan Weißleder, Florian Wartenberg, Hartmut Lackner

Proceedings of the Testing Software and Systems, 2015

2014

Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers.

Felix Kurth, Sibylle Schupp, Stephan Weißleder

Proceedings of the Tests and Proofs - 8th International Conference, 2014

An Evaluation of Model-Based Testing in Embedded Applications.

Stephan Weißleder, Holger Schlingloff

Proceedings of the Seventh IEEE International Conference on Software Testing, 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

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Achieving Quality in Customer-Configurable Products.

Martin Große-Rhode, Robert Hilbrich, Stefan Mann, Stephan Weißleder

Proceedings of the Relating System Quality and Software Architecture, 2014

2013

Zwei Ansätze zur automatischen modellbasierten Generierung von Testfällen für variantenreiche Systeme.

Stephan Weißleder, Hartmut Lackner

Softwaretechnik-Trends, 2013

Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines

Stephan Weißleder, Hartmut Lackner

Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013

2012

ConSequence - Model-Based Testing With State Machines and Concatenated Sequence Diagrams.

Stephan Weißleder, Dehla Sokenou

Softwaretechnik-Trends, 2012

Model-Based Testing: Achievements and Future Challenges.

Michael Mlynarski, Baris Güldali, Stephan Weißleder, Gregor Engels

Adv. Comput., 2012

From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain.

Marcus Mews, Jaroslav Svacina, Stephan Weißleder

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State Machines.

Stephan Weißleder

Proceedings of the 11th International Conference on Quality Software, 2011

MoDeVVa 2011 Workshop Summary.

Levi Lucio, Stephan Weißleder, Frédéric Fondement, Harald Cichos

Proceedings of the Models in Software Engineering, 2011

Concatenating Sequence-Based Requirements in Model-Based Testing with State Machines.

Stephan Weißleder, Dehla Sokenou

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

Simulated Restriction of Coverage Criteria on UML State Machines.

Stephan Weißleder, Thomas Rogenhofer

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Automatic Model-Based Test Generation from UML State Machines.

Stephan Weißleder, Holger Schlingloff

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Test models and coverage criteria for automatic model-based test generation with UML state machines.

Stephan Weißleder

PhD thesis, 2010

ParTeG - A Model-Based Testing Tool.

Stephan Weißleder, Dehla Sokenou

Softwaretechnik-Trends, 2010

A Generic Approach to Run Mutation Analysis.

Siamak Haschemi, Stephan Weißleder

Proceedings of the Testing, 2010

ParTeG - Integrating Model-based Testing and Model Transformations.

Dehla Sokenou, Stephan Weißleder

Proceedings of the Software Engineering 2010, 2010

MoDeVVa 2010 Workshop Summary.

Levi Lucio, Elisangela Vieira, Stephan Weißleder

Proceedings of the Models in Software Engineering, 2010

Static and Dynamic Boundary Value Analysis.

Stephan Weißleder

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

Simulated Satisfaction of Coverage Criteria on UML State Machines.

Stephan Weißleder

Proceedings of the Third International Conference on Software Testing, 2010

System Models vs. Test Models -Distinguishing the Undistinguishable?

Stephan Weißleder, Hartmut Lackner

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

2009

Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation.

Stephan Weißleder

Proceedings of the Model Driven Engineering Languages and Systems, 2009

MoDeVVa Workshop Summary.

Levi Lucio, Stephan Weißleder

Proceedings of the Models in Software Engineering, 2009

Semantic-Preserving Test Model Transformationsfor Interchangeable Coverage Criteria.

Stephan Weißleder

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

2008

Cause-Effect Graphs for Test Models Based on UML and OCL.

Stephan Weißleder, Dehla Sokenou

Softwaretechnik-Trends, 2008

Automatic Test Case Generation from UML Models and OCL Expressions.

Stephan Weißleder, Dehla Sokenou

Proceedings of the Software Engineering 2008, 2008

Composition of Model-based Test Coverage Criteria.

Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Quality of Automatically Generated Test Cases based on OCL Expressions.

Stephan Weißleder, Bernd-Holger Schlingloff

Proceedings of the First International Conference on Software Testing, 2008

Partition-Oriented Test Generation.

Stephan Weißleder

Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

Testing Metamodels.

Daniel A. Sadilek, Stephan Weißleder

Proceedings of the Model Driven Architecture, 2008

Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages.

Daniel A. Sadilek, Stephan Weißleder

Proceedings of the Workshop on Domain-Specific Modeling Languages, 2008

2007

Deriving Input Partitions from UML Models for Automatic Test Generation.

Stephan Weißleder, Bernd-Holger Schlingloff

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

A Fault Taxonomy for Service-Oriented Architecture.

Stefan Brüning, Stephan Weißleder, Miroslaw Malek

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007