Timed test cases generation based on state characterization technique

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1998, Pages 220-229

  En Nouaary, Abdeslam ^a   Dssouli, Rachida ^a   Khendek, Ferhat ^a   Elqortobi, Abdelkader ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; FAULT TOLERANT COMPUTER SYSTEMS; FINITE AUTOMATA; INTERACTIVE COMPUTER SYSTEMS; MATHEMATICAL MODELS; SPECIFICATIONS;

NONDETERMINISTIC TIMED FINITE STATE MACHINE (NTFSM); REAL-TIME REACTIVE SYSTEMS; STATE CHARACTERIZATION TECHNIQUE; TIMED INPUT OUTPUT AUTOMATION (TIOA);

REAL TIME SYSTEMS;

EID: 0032299323     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)