Satish Chandra, Emina Torlak, Shaon Barman, Rastislav BodÃk. Angelic debugging. In Richard N. Taylor, Harald Gall, Nenad Medvidovic, editors, Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011. pages 121-130, ACM, 2011. [doi]
Abstract is missing.