Debugging temporal specifications with concept analysis.

Glenn Ammons, David Mandelin, Rastislav Bodk, James R. Larus

Browse the full PLDI paper archive.