Therese Bohlin

My name is Therese Bohlin and I am a Ph.D. student at the Department of Information Technology at Uppsala University. I am a member of the Testing of Reactive Systems group. My undergraduate education is a Master of Science Engineering in Information Technology, from Uppsala University School of Engineering.

Research interest

Due to the increased concern with reliability and correctness of concurrent and reactive software, it is important to develop techniques which are efficient in discovering imperfections in hardware and software. For concurrent and reactive systems, the techniques of automated verification, most notably model checking, have witnessed substantial progress since the 80's. Typically, model checking may perform well on models of software systems, but cannot be directly applied to its code, due to the its large complexity.

The aim of my project is to develop techniques for generating abstract models of software modules by means of analyzing its behavior. This problem can be phrased as that of "learning" a model of a module from examples of its behavior. Some approaches to this problem have already been presented. My work is aiming at improving these learning processes.

Publications

"Insights to Angluin's learning" at "International Workshop on Software Verification and Validation" by Therese Berg, Bengt Jonsson, Martin Leucker, and Mayank Saksena (SVV 2003), Mumbai (India), December 14, 2003 in Electr. Notes Theor. Comput. Sci. 118: 3-18 (2005). (Abstract and article)
"Model-based Testing of Reactive Systems" published in Advanced Lectures, Series: Lecture Notes in Computer Science, Vol. 3472 Broy, M.; Jonsson, B.; Katoen, J.-P.; Leucker, M.; Pretschner, A. (Eds.) , 2005, VIII, 659 p., ISBN: 3-540-26278-4 (Chapter 19)
"On the Correspondence between Conformance Testing and Regular Inference" by Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt and Bernhard Steffen at FASE 2005 (Fundamental Approaches to Software Engineering): Edinburgh, UK, April 4-8 (Part of the Joint European Conferences on Theory and Practice of Software (ETAPS)) in proceedings. Lecture Notes in Computer Science 3442 Springer 2005, ISBN 3-540-25420-X (Article)
"LearnLib: A Library for Automata Learning and Experimentation" by Therese Berg, Harald Raffelt and Bernhard Steffen at FMICS05 (Tenth International Workshop on Formal Methods for Industrial Critical Systems), September 5-6, Lissabon, Portugal (Part of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)).
"Regular inference for state machines with parameters" by Therese Berg, Bengt Jonsson, and Harald Raffelt at Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006 (Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006) Vienna, Austria, March 27-28, 2006, Proceedings. Lecture Notes in Computer Science 3922 Springer 2006, ISBN 3-540-33093-3. (Article)
"Regular Inference for State Machines using Domains with Equality Tests" by Therese Berg, Bengt Jonsson, and Harald Raffelt at Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Proceedings. Lecture Notes in Computer Science 4961 Springer 2008, ISBN 978-3-540-78742-6. (Extended version of the article)
"Regular Inference for Communication Protocol Entities" by Therese Bohlin and Bengt Jonsson published 2008 in the Technical Report series from the Department of Information Technology, number 2008-024 (Technical report)

Licentiate Thesis

I defended my licentiate thesis, "Regular Inference for Reactive Systems",on the 27th of April 2006. (licentiate thesis, included papers)

Organizational work

2002. I am a representative for PhD students at the Teknisk-naturvetenskapliga faculty's Doktorandnämnd at Uppsala University.

2002-2003. I am a representative for the PhD students at the Teknisk-naturvetenskapliga faculty's Forskarutbildningsutskott at Uppsala University.

2004-2006. I am among the organizers of a series of seminars with talks by PhD students from the Information Technology Departement of Uppsala University.