Anders Hessel

According to our database, Anders Hessel authored at least 9 papers between 2003 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Monitoring and Testing with Case Observer Automata: An Industry Report.

Anders Hessel

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2008

Testing Real-Time Systems Using UPPAAL.

Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou

Proceedings of the Formal Methods and Testing, 2008

2007

Model-Based Test Case Generation for Real-Time Systems.

Anders Hessel

PhD thesis, 2007

A Global Algorithm for Model-Based Test Suite Generation.

Anders Hessel, Paul Pettersson

Proceedings of the Third Workshop on Model Based Testing, 2007

2006

Model-Based Testing of a WAP Gateway: An Industrial Case-Study.

Anders Hessel, Paul Pettersson

Proceedings of the Formal Methods: Applications and Technology, 2006

2004

A Test Case Generation Algorithm for Real-Time Systems.

Anders Hessel, Paul Pettersson

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Specifying and Generating Test Cases Using Observer Automata.

Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003

Time-Optimal Test Cases for Real-Time Systems.

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Time-Optimal Real-Time Test Case Generation Using Uppaal.

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou

Proceedings of the Formal Approaches to Software Testing, 2003