Pupillography as Indicator of Programmers' Mental Effort and Cognitive Overload | IEEE Conference Publication | IEEE Xplore