
A family of test selection criteria for Timed Input-Output Symbolic Transition System models
Keywords: Software testing; Model-based testing; Test selection criteria; Test adequacy criteria; Real-time systems