Therese Berg

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria
LearnLib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf. 11 (5) (2009)
Therese Berg, Bengt Jonsson, Harald Raffelt
Regular Inference for State Machines Using Domains with Equality Tests. FASE (2008)
Therese Berg, Bengt Jonsson, Harald Raffelt
Regular Inference for State Machines with Parameters. FASE (2006)
Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena
Insights to Angluin's Learning. Electron. Notes Theor. Comput. Sci. 118 (2005)
Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
On the Correspondence Between Conformance Testing and Regular Inference. FASE (2005)
Harald Raffelt, Bernhard Steffen, Therese Berg
LearnLib: a library for automata learning and experimentation. FMICS (2005)
Therese Berg, Harald Raffelt
Model Checking. Model-Based Testing of Reactive Systems (2004)