Search the dblp DataBase

Publications of Author

1. Therese Berg, Harald Raffelt
   Model Checking. [Citation Graph (0, 0)][DBLP]
   Model-Based Testing of Reactive Systems, 2004, pp:557-603 [Conf]
   
2. Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
   On the Correspondence Between Conformance Testing and Regular Inference. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:175-189 [Conf]
   
3. Therese Berg, Bengt Jonsson, Harald Raffelt
   Regular Inference for State Machines with Parameters. [Citation Graph (0, 0)][DBLP]
   FASE, 2006, pp:107-121 [Conf]
   
4. Harald Raffelt, Bernhard Steffen
   LearnLib: A Library for Automata Learning and Experimentation. [Citation Graph (0, 0)][DBLP]
   FASE, 2006, pp:377-380 [Conf]
   
5. Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker
   The LearnLib in FMICS-jETI. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2007, pp:340-352 [Conf]
   
6. 
   Regular Inference for State Machines Using Domains with Equality Tests. [Citation Graph (, )][DBLP]
   
   
7. 
   Dynamic Testing Via Automata Learning. [Citation Graph (, )][DBLP]
   
   
8. 
   Hybrid test of web applications with webtest. [Citation Graph (, )][DBLP]
   
   
9. 
   Completing and Adapting Models of Biological Processes. [Citation Graph (, )][DBLP]