Travelled to:1 × Austria
1 × Canada
Collaborated with:P.Pettersson J.Blom B.Jonsson K.G.Larsen B.Nielsen A.Skou
Talks about:generat (3) test (3) time (2) case (2) use (2) algorithm (1) automata (1) specifi (1) uppaal (1) observ (1)
Person: Anders Hessel
DBLP: Hessel:Anders
Contributed to:
2007
20042003Wrote 3 papers:
- MBT-2007-HesselP #algorithm #generative #modelling #testing
- A Global Algorithm for Model-Based Test Suite Generation (AH, PP), pp. 47–59.
- FATES-2004-BlomHJP #automaton #generative #specification #testing #using
- Specifying and Generating Test Cases Using Observer Automata (JB, AH, BJ, PP), pp. 125–139.
- FATES-2003-HesselLNPS #generative #realtime #testing #using
- Time-Optimal Real-Time Test Case Generation Using Uppaal (AH, KGL, BN, PP, AS), pp. 114–130.