Anders Hessel
Anders Hessel
Head of R&D, Process Automation, Xware AB, a part of WiseTech Global
Verified email at hessel.nu - Homepage
Title
Cited by
Cited by
Year
Testing real-time systems using UPPAAL
A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou
Formal methods and testing, 77-117, 2008
2832008
Time-optimal real-time test case generation using UPPAAL
A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou
International Workshop on Formal Approaches to Software Testing, 114-130, 2003
1322003
Specifying and generating test cases using observer automata
J Blom, A Hessel, B Jonsson, P Pettersson
International Workshop on Formal Approaches to Software Testing, 125-139, 2004
862004
CoVer-a real-time test case generation tool
A Hessel, P Pettersson
19th IFIP International Conference on Testing of Communicating Systems and …, 2007
48*2007
A global algorithm for model-based test suite generation
A Hessel, P Pettersson
Electronic Notes in Theoretical Computer Science 190 (2), 47-59, 2007
462007
A test case generation algorithm for real-time systems
A Hessel, P Pettersson
Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004
402004
Model-based testing of a wap gateway: an industrial case-study
A Hessel, P Pettersson
International Workshop on Parallel and Distributed Methods in Verification …, 2006
382006
Time-optimal test cases for real-time systems
A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou
International Conference on Formal Modeling and Analysis of Timed Systems …, 2003
362003
Model-based test case generation for real-time systems
A Hessel
Acta Universitatis Upsaliensis, 2007
132007
Model-based test case selection and generation for real-time systems
A Hessel
Uppsala University, 2006
72006
Timing analysis of an SDL subset in Uppaal
A Hessel
Master thesis, Department of Information Technology, Uppsala University …, 2002
42002
Online testing of real-time systems using uppaal
A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou
INTERNATIONAL WORKSHOP ON FORMAL APPROACHES TO TESTING OF SOFTWARE. CO …, 2004
22004
Project Avatar—Developing a Distributed Mobile Phone Game
M Andreasson, A Bylund, S Dargahi, D Johansson, M Larsson, ...
12006
Monitoring and testing with case observer automata: An industry report
A Hessel
2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011
2011
Developing A-GPS as a Student Project
B Bahar, A Bolcsfoldi, J Falkevik, R Jakobsen, K Kobosko, JKA Harju, ...
2006
Uppsala Underdogs—A Robot Soccer Project
M Ahlford, M Andersson, H Blomquist, M Ekström, L Ericsson, J Gumbel, ...
2006
Specifying Test Cases Using Observer Automata
J Blom, A Hessel, B Jonsson, P Pettersson
Nordic Workshop on Programming Theory, 55, 2004
2004
The system can't perform the operation now. Try again later.
Articles 1–17