Augmenting trace-based functional debugging. - Alastair William Penney (2000)