LTI Colloquium: Adaptive Testing and Debugging