Debugging temporal specifications with concept analysis. (2003)

by G Ammons, D Mandelin, R Bodik, J R Larus
Venue:In Proc. ACM SIGPLAN’03 Conference on Programming Language Design and Implementation,