Travelled to:1 × France
1 × Germany
1 × Greece
1 × Italy
1 × Norway
1 × South Africa
1 × United Kingdom
Collaborated with:M.Roggenbach T.Kahsai S.Weißleder M.Frey J.Bredereke A.Knapp T.Yoneda A.Shibayama E.M.Clarke
Talks about:test (5) base (4) softwar (2) product (2) system (2) specif (2) line (2) case (2) distribut (1) parallel (1)
Person: Bernd-Holger Schlingloff
DBLP: Schlingloff:Bernd=Holger
Contributed to:
2014
2008
20082007
20032002
1993Wrote 7 papers:
- SPLC-2014-KnappRS #development #modelling #on the #product line #testing #using
- On the use of test cases in model-based software product line development (AK, MR, BHS), pp. 247–251.
- ICST-2008-WeisslederS #automation #ocl #quality #testing
- Quality of Automatically Generated Test Cases based on OCL Expressions (SW, BHS), pp. 517–520.
- SEFM-2008-KahsaiRS #product line #testing
- Specification-Based Testing for Software Product Lines (TK, MR, BHS), pp. 149–158.
- SEFM-2007-KahsaiRS #refinement #testing
- Specification-based testing for refinement (TK, MR, BHS), pp. 237–246.
- TestCom-2003-FreyS #consistency #distributed
- Conformance of Distributed Systems (MF, BHS), pp. 163–179.
- TestCom-2002-BrederekeS #automation #flexibility #testing
- An Automated, Flexible Testing Environment for UMTS (JB, BHS), pp. 79–94.
- CAV-1993-YonedaSSC #parallel #performance #realtime #verification
- Efficient Verification of Parallel Real-Time Systems (TY, AS, BHS, EMC), pp. 321–346.