Anders Hessel

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Monitoring and Testing with Case Observer Automata: An Industry Report.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2008
Testing Real-Time Systems Using UPPAAL.
Proceedings of the Formal Methods and Testing, 2008

2007
Model-Based Test Case Generation for Real-Time Systems.
PhD thesis, 2007

A Global Algorithm for Model-Based Test Suite Generation.
Proceedings of the Third Workshop on Model Based Testing, 2007

2006
Model-Based Testing of a WAP Gateway: An Industrial Case-Study.
Proceedings of the Formal Methods: Applications and Technology, 2006

2004
A Test Case Generation Algorithm for Real-Time Systems.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Specifying and Generating Test Cases Using Observer Automata.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003
Time-Optimal Test Cases for Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Time-Optimal Real-Time Test Case Generation Using Uppaal.
Proceedings of the Formal Approaches to Software Testing, 2003


  Loading...