...
机译:使用分离逻辑测试上下文相关程序的自动化
机译:使用分离逻辑测试上下文相关程序的自动化
机译:可编程逻辑阵列的图形表示,以方便测试和逻辑设计
机译:基于Arduino-yun的JavaScript逻辑表达式可编程IOT的开发自动化系统
机译:编程范式的比较评估:对象,方面和面向背景编程的关注分离
机译:区域逻辑:Java程序的本地推理及其自动化。
机译:在断言的回归测试程序中在测试用例优先级中使用模糊逻辑
机译:具有用于测试输入生成的分离逻辑的基于堆的程序的符号执行