Harald Raffelt

According to our database, Harald Raffelt authored at least 16 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Extrapolation von Prozessmodellen aus Black-Box-Systemen mittels Automatenlernverfahren.

Harald Raffelt

PhD thesis, 2009

LearnLib: a framework for extrapolating behavioral models.

Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria

Int. J. Softw. Tools Technol. Transf., 2009

Dynamic testing via automata learning.

Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria

Int. J. Softw. Tools Technol. Transf., 2009

2008

Hybrid test of web applications with webtest.

Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten

Proceedings of the 2008 Workshop on Testing, 2008

Regular Inference for State Machines Using Domains with Equality Tests.

Therese Berg, Bengt Jonsson, Harald Raffelt

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

The LearnLib in FMICS-jETI.

Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Dynamic Testing Via Automata Learning.

Harald Raffelt, Bernhard Steffen, Tiziana Margaria

Proceedings of the Hardware and Software: Verification and Testing, 2007

2006

Completing and Adapting Models of Biological Processes.

Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen

Proceedings of the Biologically Inspired Cooperative Computing, 2006

LearnLib: A Library for Automata Learning and Experimentation.

Harald Raffelt, Bernhard Steffen

Proceedings of the Fundamental Approaches to Software Engineering, 2006

Regular Inference for State Machines with Parameters.

Therese Berg, Bengt Jonsson, Harald Raffelt

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005

Knowledge-based relevance filtering for efficient system-level test-based model generation.

Tiziana Margaria, Harald Raffelt, Bernhard Steffen

Innov. Syst. Softw. Eng., 2005

Analyzing second-order effects between optimizations for system-level test-based model generation.

Tiziana Margaria, Harald Raffelt, Bernhard Steffen

Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005

LearnLib: a library for automata learning and experimentation.

Harald Raffelt, Bernhard Steffen, Therese Berg

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

On the Correspondence Between Conformance Testing and Regular Inference.

Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

Efficient test-based model generation for legacy reactive systems.

Tiziana Margaria, Oliver Niese, Harald Raffelt, Bernhard Steffen

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

Model Checking.

Therese Berg, Harald Raffelt

Proceedings of the Model-Based Testing of Reactive Systems, 2004