Textbook : No textbook will be used

Outline :

• Testing in the Context of FSM-based Specifications
• Experiments
• Homing Sequences
• Synchonizing (Reset) Sequences
• Distinguishing Sequences (Preset and Adaptive)
• UIO Sequences
• Characterizing Sets
• Checking Sequences
• State Recognition
• Transition Verification
• Relaxing Assumptions in FSM-based Testing
• Fault Diagnosis
• Machine Identification
• Passive Testing
• Distributed Testing
• Controllability Problems
• Observability Problems
• Solutions to These Problems
• Testing in the Context of Extended FSM
• Control Flow Oriented Testing
• Data Flow Oriented Testing
• Introduction to Validation
• Verification of General Properties via State Space Exploration
• Verification of Safety and Liveness Properties
• On-the-fly LTL Model Checking and Its Applications
• Relief Strategies for State Explosion Problem
• Partial Order Approach to LTL Model Checking
• Symbolic Model Checking
• Assertion-based Verification