Publications
Number of publications matching the search criterion: 13
Collection (Editor) (1)
Testing Real-time systems using UPPAAL (Jan 2008) Anders Hessel, Kim Guldstrand Larsen , Marius Mikuèionis , Brian Nielsen , Paul Pettersson, Arne Skou Formal Methods and Testing
Conference/Workshop Paper (8)
Monitoring and Testing with Case Observer Automata: An Industry Report (Mar 2011) Anders Hessel 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
Cover - A Test-Case Generation Tool for Timed Systems (Jun 2007) Anders Hessel, Paul Pettersson Testing of Software and Communicating Systems: Work-in-Progress and Position Papers, Tool Demonstrations, and Tutorial Abstracts of TestCom/FATES 2007
A Global Algorithm for Model-Based Test Suite Generation (Mar 2007) Anders Hessel, Paul Pettersson Proceedings of Third Workshop on Model-Based Testing
Model-based Testing of a WAP Gateway: an Industrial Case-Study (Feb 2006) Anders Hessel, Paul Pettersson International Workshop on Formal Methods for Industrial Critical Systems (FMICS06)
Specifying and Generating Test Cases Using Observer Automata (May 2004) Johan Blom , Anders Hessel, Bengt Jonsson , Paul Pettersson the 4th International Workshop on Formal Approaches to Testing of Software
A Test Case Generation Algorithm for Real-Time Systems . (May 2004) Anders Hessel, Paul Pettersson the 4th International Conference on Quality Software
Time-Optimal Real-Time Test Case Generation using UPPAAL (May 2003) Anders Hessel, Kim Guldstrand Larsen , Brian Nielsen , Paul Pettersson, Arne Skou the 3rdInternational Workshop on Formal Approaches to Testing of Software
Time-Optimal Test Cases for Real-Time Systems (May 2003) Anders Hessel, Kim Guldstrand Larsen , Brian Nielsen , Paul Pettersson, Arne Skou 1st International Workshop on Formal Modeling and Analysis of Timed Systems
Report (4)
Model-based Testing of a WAP Gateway: an Industrial Case-Study (Sep 2006) Anders Hessel, Paul Pettersson
Project Avatar Developing a Distributed Mobile Phone Game (Mar 2006) Mattias Andreasson , Andree Bylund , Syrus Dargahi , Daniel Johansson , Martin Larsson , Bennie Lundmark , Jonas Mellberg , Fredrik Stenh , Olle Gällmo , Anders Hessel, Leonid Mokrushin , Paul Pettersson
Developing A-GPS as a Student Project, (Mar 2006) Bahram Bahar , Adam Bolcsfoldi , Jonas Falkenvik , Roger Jakobsen , Kristoer Kobosko , Jimmy Kallstrom , Alexander Harju , Andreas Hasselberg , Johan Persson , Mattias Wadman , Olle Gällmo , Anders Hessel, Leonid Mokrushin , Paul Pettersson
Uppsala underdogs - A robot Soccer project (Mar 2006) Marianne Ahlford , Martin Andersson , Hanna Blomquist , Magnus Ekström , Lars Ericsson , Johannes Gumbel , Anna Holmgren , Petter Holmberg , Leonard Kia , Anton Lindström , Magnus Lyrberg , Shaman Mahmoudi , Bengt Norlin , Jesper Sundien , Henrik Wallentin , Olle Gällmo , Anders Hessel, Leonid Mokrushin , Paul Pettersson
