Model-based testing; Optimal test input generation; Software Testing;
机译:复杂对象测试过程中有限自动机建模的输入输出系统状态评估算法
机译:ATM PIN生成-使用常规语法,上下文无关语法和通过有限状态机识别,下推自动机生成PIN的正式数学模型
机译:用于可编程逻辑控制器一致性测试的单输入更改测试序列的生成
机译:有限状态模型和推动系统的最佳测试输入序列生成
机译:自动生成指令序列,以对处理器和片上系统进行基于软件的自检。
机译:考虑多模系统测试放置成本的最优顺序诊断策略生成
机译:有限状态模型和下推系统的最佳测试输入序列生成