Yoshito Yamane
-
Coca: an automated debugger for C
Proceedings of the 21st international conference on Software engineering