Reduced Test Application Time Based on Reachability Analysis. - Themistoklis Haniotakis; Spyros Tragoudas; G. Pani (ISQED, 2005)