Andy Gimblett, Harold W. Thimbleby. Applying theorem discovery to automatically find and check usability heuristics. In Peter Forbrig, Prasun Dewan, Michael Harrison, Kris Luyten, editors, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13, London, United Kingdom - June 24 - 27, 2013. pages 101-106, ACM, 2013. [doi]
Abstract is missing.