Raimondas Lencevicius On-the-fly query-based debugging with examples. 2000 AADEBUG http://arxiv.org/abs/cs.SE/0011021 db/conf/aadebug/aadebug2000.html#Lencevicius00