@article{Yi2006,
   author = {Kwangkeun Yi},
   title = {'Proof-Directed Debugging' Revisited for a First-Order Version},
   journal = {Journal of Functional Programming},
   year = {2006},
   category = {automatic-bug-detection-for-c-program},
   format = {pdf},
}