A Mathematical Model of the Finding of Usability Problems | AMiner