A Knowledge-Based Approach to Program Understanding

A Knowledge-Based Approach to the Analysis of Loops

IEEE Transactions on Software Engineering

Automatic Problem Description from Model Program for Knowledge-based Programming Tutor

Automated Software Engineering

Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems

IEEE Transactions on Software Engineering

Leveraging technology affinity: applying a common set of tools and practices to information development

Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information