foto SWeissleder

Dr. Stephan Weißleder

This page contains informations about my publications. They are divided into groups. In each group, the most recent publications are listed first. I also won a few best paper awards, which are listed first.

Awards

Stephan Weißleder, Thilo Girlich, Jan Krause: ''Automatic Traceability from Tests to Requirements by Requirement-Based Refinement'' FORMS/FORMAT 2012, 8 pages, Brunswick, Germany, 12/2012, --> best paper award <--
Hartmut Lackner, Jaroslav Svacina, Stephan Weißleder, Mirko Aigner, Marina Kresse: ''Introducing Model- Based Testing in Industrial Context - An Experience Report'', 3rd Workshop on Model-based Testing in Practice (MoTiP), 10 pages, Paris, France, 06/2010, --> best paper award <--
Stephan Weißleder, Bernd-Holger Schlingloff: ''Quality of Automatically Generated Test Cases based on OCL Expressions'', ICST 2008, pp. 517--520, Lillehammer, Norway, 04/2008, --> best student paper award <--
Stephan Weißleder, Bernd-Holger Schlingloff: ''Automatic Test Generation from Coupled UML Models using Input Partitions'', MoDeVVa'07, 10 pages, Associated with MoDELS'07, Nashville, TN, USA, 10/2007, --> best paper award <--

Book Chapters / Journals

Martin Große-Rhode, Robert Hilbrich, Stefan Mann, Stephan Weißleder: ''Achieving Quality in Customer-Configurable Products'' in book Relating System Quality and Software Architecture, ISBN: 978-0-12-417009-4, pp.233-261, 12/2014
Michael Mlynarski, Baris Güldali, Stephan Weißleder, Gregor Engels: ''Model-Based Testing: Achievements and Future Challenges'' in Advances in Computers, Editors A. Hurson, A. Memon, vol. 86, pp. 1--39, Academic Press 2012
Stephan Weißleder, Holger Schlingloff: Chapter ''Automatic Model-Based Test Generation from UML State Machines'' in the Book Model-Based Testing for Embedded Systems, Editors J. Zander, I. Schieferdecker, P. J. Mosterman, pp. 77--110, 09/2011

Conferences

Stephan Weißleder, Florian Wartenberg, Hartmut Lackner: ''Automated Test Design for Boundaries of Product Line Variants'' International Conference on Testing Software and Systems (ICTSS), 16 pages, Dubai, V.A.E., 11/2015
Felix Kurth, Sibylle Schupp and Stephan Weißleder: ''Generating Test Data from a UML Activity using the AMPL Interface for Constraint Solvers'' 8th International Conference on Tests & Proofs, York, UK, 07/2014
Stephan Weißleder and Holger Schlingloff: ''An Evaluation of Model-Based Testing in Embedded Applications'' ICST 2014: 7th International Conference on Software Testing, Verification, and Validation, Cleveland, Ohio USA, 04/2014
Hartmut Lackner, Martin Thomas, Florian Wartenberg and Stephan Weißleder: ''Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level'' ICST 2014: 7th International Conference on Software Testing, Verification, and Validation, Cleveland, Ohio USA, 04/2014
Stephan Weißleder, Thilo Girlich, Jan Krause: ''Automatic Traceability from Tests to Requirements by Requirement-Based Refinement'' FORMS/FORMAT 2012, 8 pages, Brunswick, Germany, 12/2012, --> best paper award <--
Stephan Weißleder: ''Relation of Model-Based Testing and Safety-Relevant Standards'', ETSI Model-Based Testing User Conference, presentation, Berlin, Germany, 10/2011
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: 11th International Conference On Quality Software, pp. 150-155, Madrid, Spain, 07/2011
Siamak Haschemi, Stephan WeißMleder: ''A Generic Approach to Run Mutation Analysis'', 5th The Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART), pp. 155--164, Windsor, UK, 09/2010
Stephan Weißleder: ''Simulated Satisfaction of Coverage Criteria on UML State Machines'', Third International Conference on Software Testing, Verification and Validation (ICST), pp. 117--126, Paris, France, 04/2010
Dehla Sokenou, Stephan Weißleder: ''ParTeG - Integrating Model-Based Testing and Model Transformations'', Software Engineering 2010, pp. 23--24, Paderborn, Germany, 02/2010
Stephan Weißleder: ''Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation'', Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, pp. 211--225, Denver, Colorado, USA, 10/2009
Daniel A. Sadilek, Stephan Weißleder: ''Testing Metamodels'', European Conference on Model Driven Architecture (ECMDA), pp. 294--309, Berlin, Germany, ISBN 978-3-540-69095-5, 06/2008
Stephan Weißleder, Bernd-Holger Schlingloff: ''Quality of Automatically Generated Test Cases based on OCL Expressions'', ICST 2008, pp. 517--520, Lillehammer, Norway, 04/2008, --> best student paper award <--
Stefan Brüning, Stephan Weißleder, Miroslaw Malek: ''A Fault-Taxonomy for Service-Oriented Architecture'', 10th IEEE High Assurance Systems Engineering Symposium, pp. 367-- 368, Dallas, Texas, USA, 11/2007
Dirk Fahland, Timo M. Gläßer, Bastian Quilitz, Stephan Weißleder, and Ulf Leser: ''HUODINI - Flexible Information Integration for Disaster Management'', 4th International Conference on Information Systems for Crisis Response and Management (ISCRAM), 8 pages, Delft, NL, 05/2007 (revised version submitted to Special Issue of IEEE DSonline).

Workshops

Stephan Weißleder, Florian Wartenberg: ''Model-Based Design for Product Lines: Product-Centered and Domain-Centered Approach'' (invited paper) MBEES 2013, 3 pages, Schloss Dagstuhl, Germany, 04/2013
Stephan Weißleder, Hartmut Lackner: ''Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines'' MBT 2013, 13 pages, Rome, Italy, 03/2013
Stephan Weißleder, Hartmut Lackner: ''Zwei Ansätze zur automatischen modellbasierten Generierung von Testfällen für variantenreiche Systeme'' GI TAV 34, 4 pages, Aachen, Germany, 02/2013
Marcus Mews, Jaroslav Svacina, Stephan Weißleder: ''From AUTOSAR Models to Co-Simulation for MiL-Testing in the Automotive Domain'' The 8th Workshop on Advances in Model Based Testing (A-MOST 2012), pp. 519--528, Montreal, Canada, 04/2012
Stephan Weißleder, Dehla Sokenou: ''ConSequence - Model-Based Testing with State Machines and Concatenated Sequence Diagrams'' 32nd Meeting of the GI TAV, 4 pages, Berlin, Germany, 11/2011
Stephan Weißleder, Thomas Rogenhofer: ''Simulated Restriction of Coverage Criteria on UML State Machines'', A-MOST 2011: 7th Workshop on Advances in Model-Based Testing, pp. 34--38, Berlin, Germany, 03/2011
Stephan Weißleder, Dehla Sokenou: ''Concatenating Sequence-Based Requirements in Model-Based Testing with State Machines'', MBEES'11: Model-Based Development of Embedded Systems, pp. 167--175, Schloss Dagstuhl, Germany, 02/2011
Stephan Weißleder, Hartmut Lackner: ''System Models vs. Test Models - Distinguishing the Undistinguishable?'', 5th Workshop on Model-Based Testing (MoTes), pp. 321--326, Leipzig, Germany, 09/2010
Hartmut Lackner, Jaroslav Svacina, Stephan Weißleder, Mirko Aigner, Marina Kresse: ''Introducing Model- Based Testing in Industrial Context - An Experience Report'', 3rd Workshop on Model-based Testing in Practice (MoTiP), 10 pages, Paris, France, 06/2010, --> best paper award <--
Stephan Weißleder: ''Static and Dynamic Boundary Value Analysis'', MBEES'10: Model-Based Development of Embedded Systems, pp. 55--64, Schloss Dagstuhl, Germany, 02/2010
Stephan Weißleder, Dehla Sokenou: ''ParTeG - A Model-Based Testing Tool'', Gesellschaft für Informatik - Group Test And Verification (TAV), 29th Meeting: Testmanagement Meets MBT, 4 pages, Stralsund, Germany, 11/2009
Dehla Sokenou, Stephan Weißleder: ''Combining Sequences and State Machines to Build Complex Test Cases'', MoTiP: Workshop on Model-Based Testing in Practice, co-located with the 5th ECMDA, pp. 65--74, Enschede, The Netherlands, 06/2009
Stephan Weißleder: ''Semantic-Preserving Test Model Transformations for Interchangeable Coverage Criteria'', MBEES'09: Model-Based Development of Embedded Systems, pp. 26--35, Schloss Dagstuhl, Germany, 04/2009
Stephan Weißleder: ''Partition-Oriented Test Generation'', MoTes (Model-based Testing), pp. 199--204, Munich, Germany, ISBN 978-3-88579-227-7, 09/2008
Stephan Weißleder, Dehla Sokenou, Bernd-Holger Schlingloff: ''Reusing State Machines for Automatic Test Generation in Product Lines'', Model-based Testing in Practice (MoTiP), 10 pages, Berlin, Germany, ISBN 978-3-8167-7624-6, 06/2008
Stephan Weißleder, Dehla Sokenou: ''Cause-Effect Graphs for Test Models Based on UML and OCL'', 27. Treffen der GI-Fachgruppen Test and Verification (TAV) und Requirements Engineering (RE), 4 pages, Bad Honnef, Germany, 06/2008
Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder: ''Composition of Model-based Test Coverage Criteria'', MBEES'08: Model-Based Development of Embedded Systems, pp. 87--94, Schloss Dagstuhl, Germany, 04/2008
Daniel A. Sadilek, Stephan Weißleder: ''Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages'', Domain-Specific Modeling Languages (DSML'08), Associated with Modellierung 2008, pp. 21--29, Berlin, Germany, 03/2008
Stephan Weißleder, Dehla Sokenou: ''Automatic Test Case Generation from UML Models and OCL Expressions'', Testing of Software, pp. 423--426, Associated with Software Engineering 2008, Munich, Germany, 02/2008
Stephan Weißleder, Bernd-Holger Schlingloff: ''Automatic Test Generation from Coupled UML Models using Input Partitions'', MoDeVVa'07, 10 pages, Associated with MoDELS'07, Nashville, TN, USA, 10/2007, --> best paper award <--

extended version: Stephan Weißleder, Bernd-Holger Schlingloff: ''Deriving Input Partitions from UML Models for Automatic Test Generation'', pp. 151--163, IEEE-Proceedings of MoDELS'07, ISBN 978-3-540-69069-6

Commercial Publications

Stephan Weißleder: ''Modellbasiertes Testen für Varianten'', OBJEKTSpektrum Themenspecial, 4 pages, 09/2012
Armin Metzger, Jörn Münzel, Frank Simon, Stephan Weißleder: ''ISTQB Expert Level: Test Management for Complex Systems'', Testing Experience Issue No 16, pp. 34--37, 12/2011
Matthias Pruksch, Stephan Weißleder: ''Auswirkungen von Multi-Core auf Entwicklung und Qualitätssicherung - An Multi-Core führt kein Weg vorbei: Seien Sie vorbereitet!'', 4 pages, ESE-Kongress 2011
Stephan Weißleder, Baris Güldali, Michael Mlynarski, Arne-Michael Törsel, David Farago, Florian Prester, Mario Winter: ''Modellbasiertes Testen: Hype oder Realität?'', OBJEKTSpektrum 06/2011, 7 pages, 11/2011
Matthias Pruksch, Stephan Weißleder: ''Software Development and Quality Assurance in the Multi-Core Age'', embedded World 2011, Session 19/II/2

Poster

Stephan Weißleder: ''Modellbasiertes Testen - Back to the Future'', Poster, SIGS DATACOM, Germany, 02/2016
Stephan Weißleder: ''Qualitätsmanagement in de Softwareentwicklung'', Poster, SIGS DATACOM, Germany, 07/2013
Stephan Schulz, Wolfgang Grieskamp, Stephan Weißleder, Andres Kull, Michael Mlynarski: ''Towards Standardization of Model-Based Testing (MBT)'', ICST 2011: 4th International Conference on Software Testing, Verification, and Validation, Poster, Berlin, Germany, 04/2011
Hajo Eichler, Daniel A. Sadilek, Markus Scheidgen, Michael Soden, Guido Wachsmuth, Stephan Weißleder: ''Frameworks to Create Language Definitions and Tools on Top of the Eclipse Modelling Project'', EclipseCon 2008, Poster, Santa Clara, CA, USA, 03/2008

Technical Reports

Daniel A. Sadilek, Markus Scheidgen, Guido Wachsmuth, Stephan Weißleder: ''Towards Agile Language Engineering.'' Informatikbericht #227 (Technical Report), HU Berlin, 12/2008
Dirk Fahland, Daniel A. Sadilek, Markus Scheidgen, Stephan Weißleder: ''DSML'08 - Domain-Specific Modeling Languages'', Workshop co-located with Modellierung 2008, Informatikbericht #221 (Technical Report), HU Berlin, 03/2008
Stefan Brüning, Stephan Weißleder, Miroslaw Malek: ''A Fault-Taxonomy for Service-Oriented Architecture'', Informatikbericht #215 (Technical Report), HU Berlin, 09/2007