Glenn Ammons, David Mandelin, Rastislav BodÃk, James R. Larus. Debugging temporal specifications with concept analysis. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003. pages 182-195, ACM, 2003. [doi]
Abstract is missing.