Anders Hessel

Model-Based Testing of a WAP Gateway: An Industrial Case-Study

Paul Pettersson, Anders Hessel, P. Pettersson, 2006, FMICS/PDMC.

Specifying and Generating Test Cases Using Observer Automata

Bengt Jonsson, Paul Pettersson, Anders Hessel, 2004, FATES.

Model-Based Test Case Generation for Real-Time Systems

Anders Hessel, Anders Hessel, 2007 .

Model-based test case selection and generation for real-time systems

Anders Hessel, Anders Hessel, A. Hessel, 2006 .

Testing Real-Time Systems Using UPPAAL

Kim G. Larsen, Marius Mikucionis, Brian Nielsen, 2008, Formal Methods and Testing.

Formal Methods and Testing

Marius Mikucionis, Brian Nielsen, Kim Guldstrand Larsen, 2008 .