ABSTRACT
Much research has been done to describe human interaction with computer applications
(HCI), as well as interaction with devices. Only recently this research has produced
theories with a level of quantitative detail that allows for software implementations of
these theories. These advances are also of interest to KPN Research1, because one of the
possible future results could be a tool that automatically tests user interfaces.