退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于程序约束模型和测试用例的自动化调试
Wotawa Franz; Nica Mihai; Moraru Iulia;
机译:电子表格程序的基于模型的诊断:基于约束的调试方法
机译:具有谓词排序约束的并发程序的基于模型的测试
机译:基于模型的测试Oracle的自动指导,以承认真实的程序行为。
机译:癌细胞的数字模型–现在是我们调试/重新编程癌细胞的时候了吗?
机译:基于模型的测试oracles自动转向,以承认真实的程序行为
机译:planWorks:基于约束的规划系统的调试环境
机译:用于测试半导体集成电路的调试程序的方法和装置以及用于测试同一电路的调试程序的程序
机译:测试程序调试器装置,半导体测试装置,测试程序调试方法及测试方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。