FreezeFrame: Compact Test Generation Using a Frozen Clock Strategy. - Yanti Santoso; Matthew C. Merten; Elizabeth M. Rudnick; Miron Abramovici (DATE, 1999)