Validation, Verification, and Testing of Computer Software
Ontolingua: a mechanism to support portable ontologies
Benchmarking Classification Models for Software Defect Prediction: A Proposed Framework and Novel Findings
Programming Pluralism: Using Learning Analytics to Detect Patterns in the Learning of Computer Programming
Online python tutor: embeddable web-based program visualization for cs education
Autonomously Generating Hints by Inferring Problem Solving Policies