Untwist your brain: efficient debugging and diagnosis of complex assertions.

Michael Siegel, Adriana Maggiore, Christian Pichler

Browse the full DAC paper archive.