Using Observer Automata to Select Test Cases for Test Purposes.

Gordon Fraser, Martin Weiglhofer, Franz Wotawa

Browse the full SEKE paper archive.