Toward A Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms.

Alex Quilici Steven Woods Toward A Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms. 271-289 1997 4 Autom. Softw. Eng. 3 db/journals/ase/ase4.html#QuiliciW97