MDAT: a multithreading debugging and testing tool


MDAT is a multithreaded testing and debugging tool designed for students learning to program with multiple threads. MDAT automatically generates random schedules to allow students to more thoroughly test their programs. The design of MDAT takes full control over the scheduling allowing a failing run to be reproduced. To assist debugging, MDAT includes an… (More)
DOI: 10.1145/2445196.2445318


5 Figures and Tables