Fast Model-Based Fault Localisation with Test Suites. - Geoff Birch; Bernd Fischer 002; Michael R. Poppleton (TAP@STAF, 2015)

Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided Program Repair and to Improve Assessment. - Geoff Birch; Bernd Fischer 002; Michael Poppleton (ITiCSE, 2016)

Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs. - Geoff Birch; Bernd Fischer 002; Michael Poppleton (Softw. Syst. Model., 2019)