Using Observer Automata to Select Test Cases for Test Purposes.

Gordon Fraser Martin Weiglhofer Franz Wotawa Using Observer Automata to Select Test Cases for Test Purposes. 709-714 2008 SEKE conf/seke/2008 db/conf/seke/seke2008.html#FraserWW08