default search action
Stephan Weißleder
Person information
- affiliation: Thales Transportation Systems, Berlin, Germany
- affiliation: Fraunhofer Institute for Open Communication Systems (FOKUS), Berlin, Germany
- affiliation: Fraunhofer Institute for Computer Architecture and Software Engineering (FIRST), Berlin, Germany
- affiliation: Humboldt University of Berlin, Department of Computer Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c29]Matthias Hamburg, Stephan Weißleder:
Der Glaubenskrieg über Testautomatisierung. GI-Jahrestagung 2021: 1813-1818
2010 – 2019
- 2016
- [c28]Michael Schäfer, Friedemann Bitsch, Stephan Weißleder, Florian Wartenberg:
Challenges for MBSE and PLE for Legacy Product-Based System Environments. CSDM 2016: 3-15 - [p3]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:
Variant Management and Reuse. Advanced Model-Based Engineering of Embedded Systems 2016: 197-222 - 2015
- [c27]Stephan Weißleder, Florian Wartenberg, Hartmut Lackner:
Automated Test Design for Boundaries of Product Line Variants. ICTSS 2015: 86-101 - 2014
- [c26]Hartmut Lackner, Martin Thomas, Florian Wartenberg, Stephan Weißleder:
Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level. ICST 2014: 51-60 - [c25]Stephan Weißleder, Holger Schlingloff
An Evaluation of Model-Based Testing in Embedded Applications. ICST 2014: 223-232 - [c24]Felix Kurth, Sibylle Schupp, Stephan Weißleder:
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers. TAP@STAF 2014: 169-186 - [p2]Martin Große-Rhode, Robert Hilbrich, Stefan Mann, Stephan Weißleder:
Achieving Quality in Customer-Configurable Products. Relating System Quality and Software Architecture 2014: 233-261 - [e4]Christof J. Budnik, Gabriella Carrozza, David Faragó, Baris Güldali, Barath Kumar, Vittorio Manetti, Roberto Pietrantuono, Stephan Weißleder:
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. ACM 2014, ISBN 978-1-4503-2933-0 [contents] - 2013
- [j5]Stephan Weißleder, Hartmut Lackner:
Zwei Ansätze zur automatischen modellbasierten Generierung von Testfällen für variantenreiche Systeme. Softwaretechnik-Trends 33(2) (2013) - [c23]Stephan Weißleder, Hartmut Lackner:
Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines. MBT 2013: 82-94 - 2012
- [j4]Michael Mlynarski, Baris Güldali, Stephan Weißleder, Gregor Engels:
Model-Based Testing: Achievements and Future Challenges. Adv. Comput. 86: 1-39 (2012) - [j3]Stephan Weißleder, Dehla Sokenou:
ConSequence - Model-Based Testing With State Machines and Concatenated Sequence Diagrams. Softwaretechnik-Trends 32(1) (2012) - [c22]Marcus Mews, Jaroslav Svacina, Stephan Weißleder:
From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain. ICST 2012: 519-528 - 2011
- [c21]Stephan Weißleder, Thomas Rogenhofer:
Simulated Restriction of Coverage Criteria on UML State Machines. ICST Workshops 2011: 34-38 - [c20]Stephan Weißleder, Dehla Sokenou:
Concatenating Sequence-Based Requirements in Model-Based Testing with State Machines. MBEES 2011: 167-175 - [c19]Levi Lucio, Stephan Weißleder, Frédéric Fondement, Harald Cichos:
MoDeVVa 2011 Workshop Summary. MoDELS (Workshops) 2011: 183-186 - [c18]Stephan Weißleder:
Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State Machines. QSIC 2011: 150-155 - [p1]Stephan Weißleder, Holger Schlingloff
Automatic Model-Based Test Generation from UML State Machines. Model-Based Testing for Embedded Systems 2011 - [e3]Stephan Weißleder, Levi Lúcio, Harald Cichos, Frédéric Fondement:
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011. ACM 2011, ISBN 978-1-4503-0914-1 [contents] - 2010
- [b1]Stephan Weißleder:
Test models and coverage criteria for automatic model-based test generation with UML state machines. Humboldt University of Berlin, 2010, pp. 1-259 - [j2]Stephan Weißleder, Dehla Sokenou:
ParTeG - A Model-Based Testing Tool. Softwaretechnik-Trends 30(2) (2010) - [c17]Stephan Weißleder, Hartmut Lackner:
System Models vs. Test Models -Distinguishing the Undistinguishable? GI Jahrestagung (2) 2010: 321-326 - [c16]Stephan Weißleder:
Simulated Satisfaction of Coverage Criteria on UML State Machines. ICST 2010: 117-126 - [c15]Stephan Weißleder:
Static and Dynamic Boundary Value Analysis. MBEES 2010: 55-64 - [c14]Levi Lucio, Elisangela Vieira, Stephan Weißleder:
MoDeVVa 2010 Workshop Summary. MoDELS (Workshops) 2010: 239-243 - [c13]Dehla Sokenou, Stephan Weißleder:
ParTeG - Integrating Model-based Testing and Model Transformations. Software Engineering 2010: 23-24 - [c12]Siamak Haschemi, Stephan Weißleder:
A Generic Approach to Run Mutation Analysis. TAIC PART 2010: 155-164
2000 – 2009
- 2009
- [c11]Stephan Weißleder:
Semantic-Preserving Test Model Transformationsfor Interchangeable Coverage Criteria. MBEES 2009: 26-35 - [c10]Levi Lucio, Stephan Weißleder:
MoDeVVa Workshop Summary. MoDELS (Workshops) 2009: 155-157 - [c9]Stephan Weißleder:
Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation. MoDELS 2009: 211-225 - [e2]Levi Lúcio, Stephan Weißleder:
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009. ACM 2009, ISBN 978-1-60558-876-6 [contents] - 2008
- [j1]Stephan Weißleder, Dehla Sokenou:
Cause-Effect Graphs for Test Models Based on UML and OCL. Softwaretechnik-Trends 28(3) (2008) - [c8]Daniel A. Sadilek, Stephan Weißleder:
Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages. DSML 2008: 21-29 - [c7]Daniel A. Sadilek, Stephan Weißleder:
Testing Metamodels. ECMDA-FA 2008: 294-309 - [c6]Stephan Weißleder:
Partition-Oriented Test Generation. GI Jahrestagung (1) 2008: 199-204 - [c5]Stephan Weißleder, Bernd-Holger Schlingloff
Quality of Automatically Generated Test Cases based on OCL Expressions. ICST 2008: 517-520 - [c4]Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder:
Composition of Model-based Test Coverage Criteria. MBEES 2008: 87-94 - [c3]Stephan Weißleder, Dehla Sokenou:
Automatic Test Case Generation from UML Models and OCL Expressions. Software Engineering (Workshops) 2008: 423-426 - [e1]Dirk Fahland, Daniel A. Sadilek, Markus Scheidgen, Stephan Weißleder:
Proceedings of the Workshop on Domain-Specific Modeling Languages, Berlin, Germany, March 14, 2008. CEUR Workshop Proceedings 324, CEUR-WS.org 2008 [contents] - 2007
- [c2]Stefan Brüning, Stephan Weißleder, Miroslaw Malek:
A Fault Taxonomy for Service-Oriented Architecture. HASE 2007: 367-368 - [c1]Stephan Weißleder, Bernd-Holger Schlingloff
Deriving Input Partitions from UML Models for Automatic Test Generation. MoDELS (Workshops) 2007: 151-163
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: