退出
我的积分:
中文文献批量获取
外文文献批量获取
汤恩义; 周岩; 欧建生; 陈鑫;
计算机软件新技术国家重点实验室(南京大学),江苏南京210023;
南京大学软件学院,江苏南京210093;
南京大学计算机科学与技术系,江苏南京210023;
测试用例自动生成; 条件判定覆盖; 线性拟合; 关联路径;
机译:修改条件/决策覆盖(MC / DC)面向符号执行的编译器优化
机译:硅纳米结构及其分子覆盖物在生理条件下的形态和化学稳定性:面向长期可植入的纳米电子生物传感器
机译:面向目标的动态测试生成
机译:考虑操作条件的面向路径的过渡故障测试生成
机译:面向离散事件的实时嵌入式系统的自动化测试生成。
机译:线性拟合和非线性拟合的比较和组合使用,用于通过CLE / AdCSV从河口样品的金属滴定估算络合参数
机译:容错系统中的潜在故障和覆盖。一种用于辅助测试生成的VLsI CmOs电路设计技术
机译:膳食覆盖物具有壳形的基体,并且基体的内侧部分地面向在覆盖食物的条件下,并具有超疏水纳米涂层
机译:运转条件判定装置,运转条件判定方法,控制系统以及计算机可读记录介质
机译:输送条件判定装置和输送机,作为输送条件判定
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。