A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging.

Lisa J. Burnell

Browse the full UAI paper archive.