| 2008 |
|---|
| 7 | EE | Anders Hessel,
Kim Guldstrand Larsen,
Marius Mikucionis,
Brian Nielsen,
Paul Pettersson,
Arne Skou:
Testing Real-Time Systems Using UPPAAL.
Formal Methods and Testing 2008: 77-117 |
| 2007 |
|---|
| 6 | EE | Anders Hessel,
Paul Pettersson:
A Global Algorithm for Model-Based Test Suite Generation.
Electr. Notes Theor. Comput. Sci. 190(2): 47-59 (2007) |
| 2006 |
|---|
| 5 | EE | Anders Hessel,
Paul Pettersson:
Model-Based Testing of a WAP Gateway: An Industrial Case-Study.
FMICS/PDMC 2006: 116-131 |
| 2004 |
|---|
| 4 | EE | Johan Blom,
Anders Hessel,
Bengt Jonsson,
Paul Pettersson:
Specifying and Generating Test Cases Using Observer Automata.
FATES 2004: 125-139 |
| 3 | EE | Anders Hessel,
Paul Pettersson:
A Test Case Generation Algorithm for Real-Time Systems.
QSIC 2004: 268-273 |
| 2003 |
|---|
| 2 | EE | Anders Hessel,
Kim Guldstrand Larsen,
Brian Nielsen,
Paul Pettersson,
Arne Skou:
Time-Optimal Real-Time Test Case Generation Using Uppaal.
FATES 2003: 114-130 |
| 1 | EE | Anders Hessel,
Kim Guldstrand Larsen,
Brian Nielsen,
Paul Pettersson,
Arne Skou:
Time-Optimal Test Cases for Real-Time Systems.
FORMATS 2003: 234-245 |
