- Testing Real-time systems using UPPAAL. Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, and Arne Skou. Formal Methods and Testing, LNCS 4949, pages 77-117.
- Extending a Real-Time Model-Checker to a Test-Case Generation Tool Using libCoverage. Fredrik Stenh. Uppsala University, Master Thesis.
- Model-Based Test Case Generation for Real-Time Systems . Anders Hessel. Uppsala University, Ph.D. Thesis. Thesis with papers .
- CoVer - A Test Case Generation Tool for Real-Time Systems . Anders Hessel and Paul Pettersson. Tool paper at FATES07 Tallinn, Estonia.
- 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
- 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 FMICS'06 paper with the same name.
- Model-Based Testing of a WAP Gateway: an Industrial Study. Anders Hessel and Paul Pettersson. Accepted and presented at FMICS'06 In Proceedings of FMICS and PDMC 2006, LNCS 4346.
- Model-Based Test Case Selection and Generation for Real-Time Systems . Anders Hessel. Uppsala University, IT Licentiate Theses 2006-002, pdf, abstract
- Specifying and Generating Test Cases Using Observer Automata. Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson. In Proceedings of the 4th International Workshop on Formal Approaches to Testing of Software (FATES'04) 2004. ( abstract, bibtex )
- 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) Braunscheig Germany, September 8-9, pages 268-273, Hans-Dieter Ehrich and Klaus-Dieter Schewe (eds.), IEEE Computer Society, 2004 . Presentation
- 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.
- Time-Optimal Test Cases for Real-Time Systems. Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou. Invited presentation. In Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03), 2003.
UPPAAL |
 |
Publications