Latest publications
[ Show all publications ]
| | Monitoring and Testing with Case Observer Automata: An Industry Report, Anders Hessel, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, p 584-589, IEEE Computer Society, March, 2011 |
| | Testing Real-time systems using UPPAAL, Anders Hessel, Kim Guldstrand Larsen (Aalborg University, Denmark), Marius Mikuèionis (Aalborg University, Denmark), Brian Nielsen (Aalborg University, Denmark), Paul Pettersson, Arne Skou (Aalborg University, Denmark), Formal Methods and Testing, p 77-117, Spring-Verlag, Editor(s): Robert M. Hierons, Jonathan P. Bowen, and Mark Harman, 2008 |
| | Cover - A Test-Case Generation Tool for Timed Systems, 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, p 31-34, Editor(s):Alexandre Petrenko, Margus Veanes, Jan Tretmans, and Wolfgang Grieskamp, June, 2007 |
|
