Harald Raffelt

According to our database1, Harald Raffelt authored at least 15 papers between 2004 and 2009.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Extrapolation von Prozessmodellen aus Black-Box-Systemen mittels Automatenlernverfahren.
PhD thesis, 2009

LearnLib: a framework for extrapolating behavioral models.
Int. J. Softw. Tools Technol. Transf., 2009

Dynamic testing via automata learning.
Int. J. Softw. Tools Technol. Transf., 2009

2008
Hybrid test of web applications with webtest.
Proceedings of the 2008 Workshop on Testing, 2008

Regular Inference for State Machines Using Domains with Equality Tests.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
The LearnLib in FMICS-jETI.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Dynamic Testing Via Automata Learning.
Proceedings of the Hardware and Software: Verification and Testing, 2007

2006
Completing and Adapting Models of Biological Processes.
Proceedings of the Biologically Inspired Cooperative Computing, 2006

LearnLib: A Library for Automata Learning and Experimentation.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

Regular Inference for State Machines with Parameters.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005
Knowledge-based relevance filtering for efficient system-level test-based model generation.
Innov. Syst. Softw. Eng., 2005

Analyzing second-order effects between optimizations for system-level test-based model generation.
Proceedings of the Proceedings 2005 IEEE International Test Conference, 2005

On the Correspondence Between Conformance Testing and Regular Inference.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004
Efficient test-based model generation for legacy reactive systems.
Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

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


  Loading...