Therese Berg

According to our database, Therese Berg authored at least 7 papers between 2003 and 2009.

Collaborative distances:

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

2009

LearnLib: a framework for extrapolating behavioral models.

Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria

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

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

2006

Regular Inference for State Machines with Parameters.

Therese Berg, Bengt Jonsson, Harald Raffelt

Proceedings of the Fundamental Approaches to Software Engineering, 2006

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

Model Checking.

Therese Berg, Harald Raffelt

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

2003

Insights to Angluin's Learning.

Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena

Proceedings of the International Workshop on Software Verification and Validation, 2003