Login / Signup
A Framework for Machine-Assisted User Interface Verification.
Peter Bumbulis
Paulo S. C. Alencar
Donald D. Cowan
Carlos José Pereira de Lucena
Published in:
AMAST (1995)
Keyphrases
</>
user interface
databases
lightweight
theoretical framework
metadata
main contribution
computational model
model checking
conceptual framework
real world
machine learning
learning algorithm
information systems
reinforcement learning
search algorithm
artificial neural networks