@INPROCEEDINGS{Widera-IFL04-draft,
  author = {Manfred Widera},
  title = {Flow Graph Interpretation for Source Code Directed Testing
           of Functional Programs},
  booktitle = {Implementation an Application of Functional Languages, 16th
               International Workshop, IFL'04},
  year = {2004},
  editor = {Clemens Grelck and Frank Huch},
  series = {Technischer Bericht 0408},
  organization = {Institut f\"ur Informatik und Praktische Mathematik,
                  Christian-Albrechts-Universit\"at zu Kiel},
}