Clock Constraints Backward Closure; Conformance Relation for TPAIO; Reachability Timed Automata; Test Generation from Automata; Timed Pushdown Automata;
机译:一种基于测试目的的方法,用于测试定时输入输出自动机
机译:建模为定时输入输出自动机的实时系统的测试选择标准
机译:复杂对象测试过程中有限自动机建模的输入输出系统状态评估算法
机译:使用输入和输出的定时推动自动机测试生成
机译:通过利用AFD型算法,频域系统识别线性时间不变的单输入单输出二维系统和多输入多输出1维系统
机译:用于软件测试案例生成的实时扩展接口自动机
机译:具有输入和输出的定时下推自动机的测试生成
机译:速度:定时输入/输出自动机形式的工具包