Follow
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: An Outcome of the FORTEST Network, Revised …, 2008
3512008
Time-Optimal Real-Time Test Case Generation Using Uppaal
A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou
Formal Approaches to Software Testing: Third International Workshop on …, 2004
1532004
Specifying and generating test cases using observer automata
J Blom, A Hessel, B Jonsson, P Pettersson
Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005
922005
A global algorithm for model-based test suite generation
A Hessel, P Pettersson
Electronic Notes in Theoretical Computer Science 190 (2), 47-59, 2007
592007
CoVer-a real-time test case generation tool
A Hessel, P Pettersson
19th IFIP International Conference on Testing of Communicating Systems and …, 2007
58*2007
A test case generation algorithm for real-time systems
A Hessel, P Pettersson
Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004
462004
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
432006
Time-optimal test cases for real-time systems
A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou
Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004
412004
Model-based test case generation for real-time systems
A Hessel
Acta Universitatis Upsaliensis, 2007
152007
Model-based test case selection and generation for real-time systems
A Hessel
Uppsala University, 2006
132006
Timing Analysis of sdl Subset in Uppaal
A Hessel
Master Thesis, 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 approches to testing of software colocated …, 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, J Kallstrom, ...
Department of Information Technology, Uppsala University, 2006
2006
Uppsala Underdogs-A Robot Soccer Project
M Ahlford, M Andersson, H Blomquist, M Ekström, L Ericsson, J Gumbel, ...
Department of Information Technology, Uppsala University, 2006
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