Satisfiability-based checking for user interface model

Abstract

The design of user interface is closely related with system quality and usability. Many researches have been done on user interface testing method, test case generation and user interface model syntax checking, but less have been done on state attribute checking of user interface model. Because model state space is large and dynamic, this kind of checking… (More)

2 Figures and Tables

Topics

  • Presentations referencing similar topics