Return to Article Details Model-Tracing Based Approach to Intelligent Program Diagnosis Download Download PDF