Extending Manual GUI Testing Beyond Defects by Building Mental Models of Software Behavior | IEEE Conference Publication | IEEE Xplore