Anders Hessel

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Anders Hessel
Monitoring and Testing with Case Observer Automata: An Industry Report. ICST Workshops (2011)
Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou
Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing (2008)
Anders Hessel, Paul Pettersson
A Global Algorithm for Model-Based Test Suite Generation. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Anders Hessel, Paul Pettersson
Model-Based Testing of a WAP Gateway: An Industrial Case-Study. FMICS/PDMC (2006)
Anders Hessel, Paul Pettersson
A Test Case Generation Algorithm for Real-Time Systems. QSIC (2004)
Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson
Specifying and Generating Test Cases Using Observer Automata. FATES (2004)
Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
Time-Optimal Test Cases for Real-Time Systems. FORMATS (2003)
Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES (2003)