DTD: Comprehensive and Scalable Testing for Debuggers