Generating Timed UI Tests from Counterexamples.

Dominik Diner, Gordon Fraser, Sebastian Schweikl, Andreas Stahlbauer

Browse the full TAP paper archive.