Get started
Author

Stephan Weißleder

A Fault Taxonomy for Service-Oriented Architecture
2007 · Stefan Bruning, Stephan Weissleder, et al. · IEEE International Symposium on High Assurance Systems Engineering (HASE) · 102
Simulated Satisfaction of Coverage Criteria on UML State Machines
2010 · Stephan Weißleder · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 31
Deriving Input Partitions from UML Models for Automatic Test Generation
2008 · Stephan Weißleder, Bernd-Holger Schlingloff · Lecture notes in computer science · 28
Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines
2013 · Stephan Weißleder, Hartmut Lackner · Electronic Proceedings in Theoretical Computer Science · 24
Quality of Automatically Generated Test Cases based on OCL Expressions
2008 · Stephan Weissleder, Bernd-Holger Schlingloff · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 24
Testing Metamodels
2008 · Daniel A. Sadilek, Stephan Weißleder · Lecture notes in computer science · 20
Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level
2014 · Hartmut Lackner, Martin Thomas, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 19
Automatic Model-Based Test Generation from UML State Machines
2011 · Stephan Weißleder, Holger Schlingloff · Computational analysis, synthesis, and design of dynamic models series · 18
Automatic test case generation from UML models and OCL expressions
2008 · Stephan Weißleder, Dehla Sokenou · 17
An Evaluation of Model-Based Testing in Embedded Applications
2014 · Stephan Weissleder, Holger Schlingloff · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 14
Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation
2009 · Stephan Weißleder · Lecture notes in computer science · 14
From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain
2012 · Marcus Mews, Jaroslav Svacina, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 12
Model-Based Testing: Achievements and Future Challenges
2012 · Michael Mlynarski, Baris Güldali, et al. · Advances in computers · 10
Composition of Model-based Test Coverage Criteria
2008 · Mario Friske, Bernd-holger Schlingloff, et al. · 10
Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages.
2008 · Daniel A. Sadilek, Stephan Weißleder · 6
System Models vs. Test Models- Distinguishing the Undistinguishable?
2014 · Stephan Weißleder, Hartmut Lackner · 5
Simulated Restriction of Coverage Criteria on UML State Machines
2011 · Stephan Weißleder, Thomas Rogenhofer · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · 5
Cause-Effect Graphs for Test Models Based on UML and OCL.
2008 · Stephan Weißleder, Dehla Sokenou · 5
Automated Test Design for Boundaries of Product Line Variants
2015 · Stephan Weißleder, Florian Wartenberg, et al. · Lecture notes in computer science · 4
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers
2014 · Felix Kurth, Sibylle Schupp, et al. · Lecture notes in computer science · 4
Challenges for MBSE and PLE for Legacy Product-Based System Environments
2016 · Michael Schäfer, Friedemann Bitsch, et al. · Springer eBooks · 3
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
2011 · Weißleder, Stephan, Weißleder, Stephan, et al. · 3
A Generic Approach to Run Mutation Analysis
2010 · Siamak Haschemi, Stephan Weißleder · Lecture notes in computer science · 3
Variant Management and Reuse
2016 · Ina Schaefer, André Heuer, et al. · Springer eBooks · 2
Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State Machines
2011 · Stephan Weißleder · Asia-Pacific Conference on Quality Software (APAQS) · 2
Works count: 56
Citation count: 401
H-index: 12
I10-index: 14
Year
Topic
Type