Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs

This publication has 64 references indexed in Scilit:

• Naturally occurring data as research instrument
  ACM SIGCSE Bulletin, 2010
• Fault localization using a model checker
  Software Testing, Verification and Reliability, 2009
• EXE
  ACM Transactions on Information and System Security, 2008
• Error explanation with distance metrics
  International Journal on Software Tools for Technology Transfer, 2005
• Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact
  Empirical Software Engineering, 2005
• The boss online submission and assessment system
  Journal on Educational Resources in Computing, 2005
• Model-based diagnosis meets error diagnosis in logic programs
  1993
• A theory of diagnosis from first principles
  Artificial Intelligence, 1987
• Conditions of Learning in Novice Programmers
  Journal of Educational Computing Research, 1986
• THE ROLE OF TUTORING IN PROBLEM SOLVING ^*
  Journal of Child Psychology and Psychiatry, 1976