Algorithmic Debugging for Lazy Functional Languages

Generalized algorithmic debugging and testing

ACM Letters on Programming Languages and Systems (LOPLAS)

Logical debugging

Journal of Symbolic Computation - Special issue on automatic programming

Tracing piece by piece: affordable debugging for lazy functional languages

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs

FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming

Adding Traces to a Lazy Monadic Evaluator

Computer Aided Systems Theory - EUROCAST 2001-Revised Papers

HsDebug: debugging lazy programs by not being lazy

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell

The efficient debugging system for locating logical errors in java programs

ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI

Automated debugging in java programs Using HDM

ICCS'03 Proceedings of the 2003 international conference on Computational science

From stack traces to lazy rewriting sequences

IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages