Thesis Page
- Date:
2007-05-21 - Time:
13.15 - Room:
Polhemsalen, Ångström laboratory, Lägerhyddsvägen 1 - Title:
Model-Based Test Case Generation for Real-Time Systems - Opponent:
Bernhard K. Aichernig
Thesis
The final version of the comprehensive summary can be downloaded here. This is the thesis without the enclosed papers.
The full thesis with all included papers can be found here
Enclosed Papers
- Paper I
Time-Optimal Real-Time Test Case Generation using UPPAAL .
Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou.
In Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES'03), 2003. - Paper II
A Test Case Generation Algorithm for Real-Time Systems.
Anders Hessel and Paul Pettersson.
In Proceedings of the Fourth International Conference on Quality Software (QSIC'04) Braunschweig Germany, September 8-9, pages 268-273, Hans-Dieter Ehrich and Klaus-Dieter Schewe (eds.), IEEE Computer Society, 2004 . - Paper III
Specifying and Generating Test Cases Using Observer Automata.
Johan Blom, Anders Hessel, Bengt Jonsson, and Paul Pettersson.
Presentation at the International Workshop on Formal Approaches to Testing of Software (FATES'04) 2004. - Paper IV
A Global Algorithm for Coverage-Based Test Case Generation.
Anders Hessel and Paul Pettersson.
Accepted for MBT 2007, Third Workshop on Model-Based Testing, March 31 - April 1, 2007, Braga, Portugal, Satellite workshop of ETAPS 2007. To Appear in ENTCS - Paper V
Model-Based Testing of a WAP Gateway: an Industrial Study.
Anders Hessel and Paul Pettersson.
Technical Report 2006-045, Uppsala University 2006. Extended version of:
Model-Based Testing of a WAP Gateway: an Industrial Study, Anders Hessel and Paul Pettersson, FMICS'06 (LNCS 4346)paper with the same name. - Paper VI
CoVer - A Real-Time Test Case Generation Tool.
Anders Hessel and Paul Pettersson.
Accepted for tool presentation and publication at TESTCOM/FATES 2007.