Program verification(Computers); Software engineering; Run time(Computers); Automation; Algorithms; Roving vehicles; Temporal logic; Computer programs; Fault detection;
机译:通过重用深度嵌入式系统的运行时监视中的模型来生成基于模型的测试用例
机译:结合测试用例生成和运行时验证
机译:动态最短路径问题的蚁群优化运行时分析
机译:测试用例和运行时分析的实验
机译:X世代的Kuleshov实验的应用:测试观众对编辑的反应。
机译:在五种第二代抗丙型肝炎病毒抗体检测方法中不一致的检测结果分析也通过聚合酶链反应-RNA检测以及其他肝炎实验室和临床检测方法进行了检测。
机译:测试用例生成和运行时分析的实验