...
机译:半验证:用于程序验证,测试和调试的集成方法
Swinburne University of Technology, Hawthorn;
Software/program verification; symbolic execution; testing and debugging.;
机译:切片电子表格:电子表格测试和调试的集成方法
机译:关于并发程序的测试,分析和调试的特刊
机译:用于实现,测试和调试并发程序的类库
机译:并行和分布式程序的集成测试和调试环境
机译:跟踪驱动的方法,用于测试和调试并发程序。
机译:通过预防性化学疗法针对被忽视的热带病的计划的综合实施:在全国范围内证明其可行性
机译:半证明:程序验证,测试和调试的集成方法
机译:程序调试和测试美国生产,就业和能源使用的线性规划分析。