Generating Timed UI Tests from Counterexamples

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79379-1_4 ◽

2021 ◽

pp. 53-71

Author(s):

Dominik Diner ◽

Gordon Fraser ◽

Sebastian Schweikl ◽

Andreas Stahlbauer

Download Full-text