Specification-Based Testing of User Interfaces.

Ana C. R. Paiva João C. P. Faria Raul F. A. M. Vidal

Published in: DSV-IS (2003)

Keyphrases

user interface
formal verification
test case generation
user friendly
high level
end users
human computer interaction
software testing
case study
formal specification
test cases
model checking
test set
user interaction
digital libraries
training data
user interface design
graphical user interfaces
website