Timed Test Cases Generation Based on State Characterization Technique

Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, A. Elqortobi. Timed Test Cases Generation Based on State Characterization Technique. In IEEE Real-Time Systems Symposium. pages 220, 1998. [doi]

Abstract

Abstract is missing.