Generating Timed UI Tests from Counterexamples.

Dominik Diner Gordon Fraser Sebastian Schweikl Andreas Stahlbauer

Published in: TAP@STAF (2021)

Keyphrases

user interface
petri net
automatically generating
web applications
computer vision
digital libraries
software engineering
test cases
real time
information retrieval
social networks
web services
data structure
relational databases
first order logic
finite state machines