Specifying and Generating Test Cases Using Observer Automata

Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson. Specifying and Generating Test Cases Using Observer Automata. In Jens Grabowski, Brian Nielsen, editors, Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Volume 3395 of Lecture Notes in Computer Science, pages 125-139, Springer, 2004. [doi]

Authors

Johan Blom

This author has not been identified. Look up 'Johan Blom' in Google

Anders Hessel

This author has not been identified. Look up 'Anders Hessel' in Google

Bengt Jonsson

This author has not been identified. Look up 'Bengt Jonsson' in Google

Paul Pettersson

This author has not been identified. Look up 'Paul Pettersson' in Google