Debugging temporal specifications with concept analysis (2003)

by G Ammons, D Mandelin, R Bodı́k, J R Larus
Venue:In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation