Applying theorem discovery to automatically find and check usability heuristics.

Andy Gimblett, Harold W. Thimbleby

Browse the full EICS paper archive.