Lucid Debugging

Project: Lucid Debugging

Lucid Debugging provides a framework for automatically summarizing and explaining observed software failures. Exploiting fine-grained execution comparison allows for concise and precise explanations for how a fault in a program caused an observed failure.

Papers