MetriStation: a tool for user-interface fault detection | IEEE Conference Publication | IEEE Xplore