T Ohmann, M Herzberg, S Fiss, A Halbert… - Proceedings of the 29th …, 2014 - dl.acm.org
Software bugs often arise because of differences between what developers think their
system does and what the system actually does. These differences frustrate debugging and …