Stephan Weißleder

42 papers A 6C 3Journal 5Unranked 20
YearRankTypeTitle / Venue / Authors
2021 — conf
Der Glaubenskrieg über Testautomatisierung.
GI-Jahrestagung
Matthias Hamburg, Stephan Weißleder
2016 — conf
Challenges for MBSE and PLE for Legacy Product-Based System Environments.
CSDM
Michael Schäfer, Friedemann Bitsch, Stephan Weißleder, Florian Wartenberg
2016 — ch.
Variant Management and Reuse.
Advanced Model-Based Engineering of Embedded Systems
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
2015 C conf
Automated Test Design for Boundaries of Product Line Variants.
ICTSS
Stephan Weißleder, Florian Wartenberg, Hartmut Lackner
2014 — ch.
Achieving Quality in Customer-Configurable Products.
Relating System Quality and Software Architecture
Martin Große-Rhode, Robert Hilbrich, Stefan Mann, Stephan Weißleder
2014 A conf
An Evaluation of Model-Based Testing in Embedded Applications.
ICST
Stephan Weißleder, Holger Schlingloff
2014 — conf
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers.
TAP@STAF
Felix Kurth, Sibylle Schupp, Stephan Weißleder
2014 A conf
Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level.
ICST
Hartmut Lackner, Martin Thomas, Florian Wartenberg, Stephan Weißleder
2014 — ed.
Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing, JAMAICA@ISSTA 2014, San Jose, CA, USA, July 21, 2014
JAMAICA@ISSTA
Christof J. Budnik, Gabriella Carrozza, David Faragó, Baris Güldali, Barath Kumar, Vittorio Manetti, Roberto Pietrantuono, Stephan Weißleder
2013 — conf
Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines
MBT
Stephan Weißleder, Hartmut Lackner
2013 J jnl
Zwei Ansätze zur automatischen modellbasierten Generierung von Testfällen für variantenreiche Systeme.
Softwaretechnik-Trends
Stephan Weißleder, Hartmut Lackner
2012 J jnl
ConSequence - Model-Based Testing With State Machines and Concatenated Sequence Diagrams.
Softwaretechnik-Trends
Stephan Weißleder, Dehla Sokenou
2012 A conf
From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain.
ICST
Marcus Mews, Jaroslav Svacina, Stephan Weißleder
2012 J jnl
Model-Based Testing: Achievements and Future Challenges.
Adv. Comput.
Michael Mlynarski, Baris Güldali, Stephan Weißleder, Gregor Engels
2011 — ch.
Automatic Model-Based Test Generation from UML State Machines.
Model-Based Testing for Embedded Systems
Stephan Weißleder, Holger Schlingloff
2011 — conf
Concatenating Sequence-Based Requirements in Model-Based Testing with State Machines.
MBEES
Stephan Weißleder, Dehla Sokenou
2011 — conf
MoDeVVa 2011 Workshop Summary.
MoDELS (Workshops)
Levi Lucio, Stephan Weißleder, Frédéric Fondement, Harald Cichos
2011 — ed.
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011
MoDeVVa@MoDELS
Stephan Weißleder, Levi Lúcio, Harald Cichos, Frédéric Fondement
2011 — conf
Simulated Restriction of Coverage Criteria on UML State Machines.
ICST Workshops
Stephan Weißleder, Thomas Rogenhofer
2011 — conf
Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State Machines.
QSIC
Stephan Weißleder
2010 — conf
A Generic Approach to Run Mutation Analysis.
TAIC PART
Siamak Haschemi, Stephan Weißleder
2010 — conf
MoDeVVa 2010 Workshop Summary.
MoDELS (Workshops)
Levi Lucio, Elisangela Vieira, Stephan Weißleder
2010 J jnl
ParTeG - A Model-Based Testing Tool.
Softwaretechnik-Trends
Stephan Weißleder, Dehla Sokenou
2010 C conf
ParTeG - Integrating Model-based Testing and Model Transformations.
Software Engineering
Dehla Sokenou, Stephan Weißleder
2010 A conf
Simulated Satisfaction of Coverage Criteria on UML State Machines.
ICST
Stephan Weißleder
2010 — conf
Static and Dynamic Boundary Value Analysis.
MBEES
Stephan Weißleder
2010 — conf
System Models vs. Test Models -Distinguishing the Undistinguishable?
GI Jahrestagung (2)
Stephan Weißleder, Hartmut Lackner
2010 — —
Test models and coverage criteria for automatic model-based test generation with UML state machines.
Stephan Weißleder
2009 A conf
Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation.
MoDELS
Stephan Weißleder
2009 — conf
MoDeVVa Workshop Summary.
MoDELS (Workshops)
Levi Lucio, Stephan Weißleder
2009 — ed.
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009
MoDeVVa@MoDELS
Levi Lúcio, Stephan Weißleder
2009 — conf
Semantic-Preserving Test Model Transformationsfor Interchangeable Coverage Criteria.
MBEES
Stephan Weißleder
2008 C conf
Automatic Test Case Generation from UML Models and OCL Expressions.
Software Engineering (Workshops)
Stephan Weißleder, Dehla Sokenou
2008 J jnl
Cause-Effect Graphs for Test Models Based on UML and OCL.
Softwaretechnik-Trends
Stephan Weißleder, Dehla Sokenou
2008 — conf
Composition of Model-based Test Coverage Criteria.
MBEES
Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder
2008 — conf
Partition-Oriented Test Generation.
GI Jahrestagung (1)
Stephan Weißleder
2008 — ed.
Proceedings of the Workshop on Domain-Specific Modeling Languages, Berlin, Germany, March 14, 2008
DSML
Dirk Fahland, Daniel A. Sadilek, Markus Scheidgen, Stephan Weißleder
2008 A conf
Quality of Automatically Generated Test Cases based on OCL Expressions.
ICST
Stephan Weißleder, Bernd-Holger Schlingloff
2008 — conf
Testing Metamodels.
ECMDA-FA
Daniel A. Sadilek, Stephan Weißleder
2008 — conf
Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages.
DSML
Daniel A. Sadilek, Stephan Weißleder
2007 — conf
A Fault Taxonomy for Service-Oriented Architecture.
HASE
Stefan Brüning, Stephan Weißleder, Miroslaw Malek
2007 — conf
Deriving Input Partitions from UML Models for Automatic Test Generation.
MoDELS (Workshops)
Stephan Weißleder, Bernd-Holger Schlingloff