Travelled to:1 × Canada
1 × France
1 × Germany
1 × Norway
1 × United Kingdom
2 × USA
Collaborated with:∅ H.Schlingloff D.A.Sadilek B.Schlingloff F.Kurth S.Schupp M.Mews J.Svacina H.Lackner M.Thomas F.Wartenberg
Talks about:test (8) model (4) base (4) uml (3) product (2) generat (2) machin (2) design (2) state (2) simul (2)
Person: Stephan Weißleder
DBLP: Wei=szlig=leder:Stephan
Contributed to:
2014
201420122010
2009
20082008Wrote 8 papers:
- ICST-2014-LacknerTWW #design #modelling #product line
- Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level (HL, MT, FW, SW), pp. 51–60.
- ICST-2014-WeisslederS #embedded #evaluation #modelling #testing
- An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.
- TAP-2014-KurthSW #constraints #generative #interface #process #testing #theorem proving #uml #using
- Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.
- ICST-2012-MewsSW #modelling
- From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain (MM, JS, SW), pp. 519–528.
- ICST-2010-Weissleder #state machine #test coverage #uml
- Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.
- MoDELS-2009-Weissleder #industrial #modelling #state machine #testing #uml
- Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation (SW), pp. 211–225.
- ECMDA-FA-2008-SadilekW08a #metamodelling #testing
- Testing Metamodels (DAS, SW), pp. 294–309.
- ICST-2008-WeisslederS #automation #ocl #quality #testing
- Quality of Automatically Generated Test Cases based on OCL Expressions (SW, BHS), pp. 517–520.