Person:Weißleder

From GRK-Wiki

Contact Details

Stephan Weißleder
Fraunhofer FIRST
Kekuléstr. 7, 12489 Berlin
Raum: 407, Tel: +49 (0)30 6392 1876
Email FIRST: stephan.weissleder(at)first.fraunhofer.de

Institut für Informatik, Humboldt-Universität zu Berlin
Rudower Chaussee 25, 12489 Berlin
Raum: III.310
Tel: +49 (0)30 2093 3117
E-Mail: weissled(at)informatik.hu-berlin.de

Research

Thesis

Description of the Thesis

Research Interests

Agile Software Engineering
Modeling
Model-Based Testing
Service-Oriented Architectures
Formal Methods
METRIK-Cluster Agile Language Engineering

Publications

Book Chapters

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 Justyna Zander begin_of_the_skype_highlighting end_of_the_skype_highlighting begin_of_the_skype_highlighting end_of_the_skype_highlighting begin_of_the_skype_highlighting end_of_the_skype_highlighting begin_of_the_skype_highlighting end_of_the_skype_highlighting begin_of_the_skype_highlighting end_of_the_skype_highlighting, Ina Schieferdecker, Pieter J. Mosterman, to appear in 05/2011

Conferences and Workshops

Stephan Weißleder, Hartmut Lackner: System Models vs. Test Models - Distinguishing the Undistinguishable?, 5th Workshop on Model-Based Testing (MoTes), Leipzig, Germany, 09/2010

Siamak Haschemi, Stephan Weißleder: A Generic Approach to Run Mutation Analysis, 5th The Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART), Windsor, UK, 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), 2010, Paris, France, 06/2010 (best paper)

Stephan Weißleder: Simulated Satisfaction of Coverage Criteria on UML State Machines, Third International Conference on Software Testing, Verification and Validation (ICST), Paris, France, 04/2010

Dehla Sokenou, Stephan Weißleder: ParTeG - Integrating Model-Based Testing and Model Transformations, Software Engineering 2010, Paderborn, Germany, 02/2010

Stephan Weißleder: Static and Dynamic Boundary Value Analysis, MBEES'10: Model-Based Development of Embedded Systems, 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), 29. Treffen: Testmanagement Meets MBT, Stralsund, Germany, 11/2009

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, Denver, Colorado, USA, 10/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, 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, Schloss Dagstuhl, Germany, 04/2009

Stephan Weißleder: Partition-Oriented Test Generation, workshop MoTes (Model-based Testing), Munich, Germany, in conjunction with the annual congress of the Gesellschaft für Informatik, 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), 2008, Germany, ISBN 978-3-8167-7624-6, 06/2008

Daniel A. Sadilek, Stephan Weißleder: Testing Metamodels, European Conference on Model Driven Architecture (ECMDA), Berlin, Germany, ISBN 978-3-540-69095-5, 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), Bad Honnef, Germany, 06/2008

Stephan Weißleder, Bernd-Holger Schlingloff: Quality of Automatically Generated Test Cases based on OCL Expressions, ICST 2008, Lillehammer, Norway, 04/2008 (best student paper award)

Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder: Composition of Model-based Test Coverage Criteria, MBEES'08: Model-Based Development of Embedded Systems, Schloss Dagstuhl, Germany, 04/2008

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, Santa Clara, CA, USA, 03/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, Berlin, Germany, 03/2008

Stephan Weißleder, Dehla Sokenou: Automatic Test Case Generation from UML Models and OCL Expressions, Testing of Software, 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, Associated with MoDELS'07, Nashville, TN, USA, 10/2007 (best paper)
- extended version: Stephan Weißleder, Bernd-Holger Schlingloff: Deriving Input Partitions from UML Models for Automatic Test Generation, IEEE-Proceedings of MoDELS'07, ISBN 978-3-540-69069-6

Stefan Brüning, Stephan Weißleder, Miroslaw Malek: A Fault-Taxonomy for Service-Oriented Architecture, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 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), Delft, NL, 05/2007 (revised version submitted to Special Issue of IEEE DSonline).

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

Compulsory Publications

Stephan Weißleder. Semantische Fundierung der Web-Service-Beschreibungssprache WSCI. Diplomarbeit, Humboldt-Universität zu Berlin, 11/2004.

Further Conferences, Workshops

Organized

QuoMBaT'10, 1st Workshop on Quality of Model-Based Testing, in conjunction with ICST'10
ATAMI'10, Workshop on Advances in Testing: Academia meets Industry, workshop at the Fraunhofer FIRST
MoDeVVa'09, 6th Workshop on Model-Driven Engineering, Verification, and Validation, in conjunction with Models'09
Gemeinsamer Workshop der Graduiertenkollegs 2009, 09242, Germany, IBFI Schloss Dagstuhl, 06/2009
DSML'08, 1st Workshop on Domain-Specific Modeling Languages, Associated with Modellierung 2008

Attended

Gemeinsamer Workshop der Graduiertenkollegs 2009, 09242, Germany, IBFI Schloss Dagstuhl, 06/2009
Gemeinsamer Workshop der Graduiertenkollegs 2008, 08212, Germany, IBFI Schloss Dagstuhl, 05/2008
Workshop Automation of Software Test at ICSE'08, Germany, Leipzig, 05/2008
Workshop on Domain-specific Modeling Languages (DSML'08), Humboldt-Universität zu Berlin, Germany, Berlin, 03/2008
4. METRIK-Workshop Rocket Science, 02/2008, Germany, Berlin
Gemeinsamer Workshop der Graduiertenkollegs 2007, 07232, Germany, IBFI Schloss Dagstuhl, 06/2007
1. METRIK-Workshop Metamodellierung, Modellkopplung und Test, Germany, Berlin, 12/2006
Model-Driven Development and Product Lines: Synergies and Experience, Germany, Leipzig, 10/2006
Dagstuhl Seminar 06411 Specification, Verification and Test of Open Systems, Germany, IBFI Schloss Dagstuhl, 10/2006
MoDELS/UML 2006, Genova, Italy, 10/2006
all METRIK-Evaluierungsworkshops in 2007, 2008, and 2009

Teaching

Past Teaching

summer 2007: Supervisor in the course Automotive Software Engineering & Model Based Design (Prof. Schlingloff)
winter 2006/2007: Supervisor in the tutorial to the lecture Information Integration (Prof. Leser)

Projects

SourceForge

MMUnit - a framework for testing metamodels: realizes the test-first approach for metamodels
ParTeG - a partition test generator: automatically generates JUnit-tests from test input partitions automatically generated from UML state machines and class diagrams
Coverage Simulator - a test model transformator that can be used to simulate the satisfaction of strong coverage criteria by satisfying weaker coverage criteria on a transformed test model

Recent Resume

since 11/2009	Research Associate at the Fraunhofer FIRST
09/2006-12/2009	Scholarship by e-fellows.net