Insights to Angluin's Learning. - Therese Berg; Bengt Jonsson 001; Martin Leucker; Mayank Saksena (SVV@ICLP, 2003)

Model Checking. - Therese Berg; Harald Raffelt (Model-Based Testing of Reactive Systems, 2004)

On the Correspondence Between Conformance Testing and Regular Inference. - Therese Berg; Olga Grinchtein; Bengt Jonsson 001; Martin Leucker; Harald Raffelt; Bernhard Steffen (FASE, 2005)

LearnLib: a library for automata learning and experimentation. - Harald Raffelt; Bernhard Steffen; Therese Berg (FMICS, 2005)

Regular Inference for State Machines with Parameters. - Therese Berg; Bengt Jonsson 001; Harald Raffelt (FASE, 2006)

Regular Inference for State Machines Using Domains with Equality Tests. - Therese Berg; Bengt Jonsson 001; Harald Raffelt (FASE, 2008)

LearnLib: a framework for extrapolating behavioral models. - Harald Raffelt; Bernhard Steffen; Therese Berg; Tiziana Margaria (Int. J. Softw. Tools Technol. Transf., 2009)