Hollander, Yoav, Alan Hu, João Louren{\c c}o, and Ronny Morad. "Special Session on Debugging." Hardware and Software: Verification and Testing. Eds. Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz. Vol. 6504. Lecture Notes in Computer Science, 6504. Springer Berlin / Heidelberg,  2011. 24-28.