A framework and methodology for studying the causes of software errors in programming systems

An essential aspect of programmers' work is the correctness of their code. This makes current HCI techniques ill-suited to analyze and design the programming systems that programmers use everyday, ...