User interface model discovery: towards a generic approach

@inproceedings{Gimblett2010UserIM,
  title={User interface model discovery: towards a generic approach},
  author={Andy Gimblett and Harold W. Thimbleby},
  booktitle={EICS},
  year={2010}
}
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system's state space, simulating the actions of a user; such models are then amenable to automatic analysis targetting structural usability concerns. This paper specifies UI model discovery in some detail, providing a formal, generic and language-neutral API and discovery algorithm. The technique has been implemented in prototype systems on several programming… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 24 CITATIONS

Action graphs and user performance analysis

  • Int. J. Hum.-Comput. Stud.
  • 2013
VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications

  • IEEE Transactions on Consumer Electronics
  • 2019
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

editor

S. Peyton Jones
  • Haskell 98 Language and Libraries – The Revised Report. Cambridge University Press,
  • 2003
VIEW 14 EXCERPTS
HIGHLY INFLUENTIAL

Formal methods for interactive systems

  • Computers and people series
  • 1991
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL