| 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 | 351 | 2008 |
| 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 | 153 | 2004 |
| 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 | 92 | 2005 |
| A global algorithm for model-based test suite generation A Hessel, P Pettersson Electronic Notes in Theoretical Computer Science 190 (2), 47-59, 2007 | 59 | 2007 |
| 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 | 46 | 2004 |
| 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 | 43 | 2006 |
| 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 | 41 | 2004 |
| Model-based test case generation for real-time systems A Hessel Acta Universitatis Upsaliensis, 2007 | 15 | 2007 |
| Model-based test case selection and generation for real-time systems A Hessel Uppsala University, 2006 | 13 | 2006 |
| Timing Analysis of sdl Subset in Uppaal A Hessel Master Thesis, Uppsala University, 2002 | 4 | 2002 |
| 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 | 2 | 2004 |
| Project Avatar Developing a Distributed Mobile Phone Game M Andreasson, A Bylund, S Dargahi, D Johansson, M Larsson, ... | 1 | 2006 |
| 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 |
Paul PetterssonProfessor of Real-time Systems, Mälardalen UniversityBestätigte E-Mail-Adresse bei mdh.se
