A Scalable Formal Method for Design and Automatic Checking of User Interfaces.
Jean BerstelStefano Crespi-ReghizziGilles RousselPierluigi San PietroPublished in: ICSE (2001)
Keyphrases
- user interface
- fully automatic
- high accuracy
- experimental evaluation
- preprocessing
- detection algorithm
- case study
- evaluation method
- high precision
- detection method
- highly efficient
- machine learning
- semi automatic
- support vector machine svm
- mutual information
- prior knowledge
- similarity measure
- model selection
- computationally efficient
- human computer interaction
- classification accuracy
- optimization algorithm
- probabilistic model
- computational cost
- synthetic data
- dynamic programming
- significant improvement
- optimization method
- expert systems