Login / Signup
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