首页> 外文OA文献 >Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging

【2h】

Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging

机译：半证明：一种用于程序证明，测试和调试的集成方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
T. Y. Chen; T. H. Tse; Zhi Quan Zhou;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging [J] . Chen T.Y.Tse T.H.Zhou Zhi Quan Software Engineering, IEEE Transactions on . 2011,第1期

机译：半验证：用于程序验证，测试和调试的集成方法
2. Slicing Spreadsheets: An Integrated Methodology for Spreadsheet Testing and Debugging [J] . James Reichwein, Gregg Rothermel, Margaret Burnett ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2000,第1期

机译：切片电子表格：电子表格测试和调试的集成方法
3. Special issue on testing, analysis and debugging of concurrent programs [J] . Farchi Eitan, Hierons Robert M., Lourenco Joao Software Testing, Verification and Reliability . 2015,第3期

机译：关于并发程序的测试，分析和调试的特刊
4. An integrated testing and debugging environment for parallel and distributed programs [C] . Lourenco, J., Cunha, . 1997

机译：并行和分布式程序的集成测试和调试环境
5. Trace driven approach for testing and debugging concurrent programs. [D] . Said, Mahmoud. 2012

机译：跟踪驱动的方法，用于测试和调试并发程序。
6. Integrated Implementation of Programs Targeting Neglected Tropical Diseases through Preventive Chemotherapy: Proving the Feasibility at National Scale [O] . Mary Linehan, Christy Hanson, Angela Weaver, 2011

机译：通过预防性化学疗法针对被忽视的热带病的计划的综合实施：在全国范围内证明其可行性
7. Semi-proving: An integrated method for program proving, testing, and debugging [O] . Zhou ZQ, Chen TY, Tse TH 2011

机译：半证明：程序验证，测试和调试的集成方法
8. Program Debugging and Testing a Linear Programming Analysis of U.S. Production,Employment,and Energy Use. [R] . merrill, d. lofting, e. 2001

机译：程序调试和测试美国生产，就业和能源使用的线性规划分析。

Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging

著录项

引文网络

相似文献

相关主题

期刊订阅