Title: Debugging techniques in large systems