How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms.

Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin, Westley Weimer

Browse the full ICSE paper archive.