Timed Test Cases Generation Based on State Characterization Technique. - Abdeslam En-Nouaary; Rachida Dssouli; Ferhat Khendek; Abdelkader Elqortobi (RTSS, 1998)