Software verification; Robustness testing; Test vector generation;
机译:先进的Ada验证技术:将测试和验证与GNATTest和GNATProve相结合-Hi-Lite项目
机译:KeYGenU:结合基于验证的,捕获和重播技术以进行回归单元测试
机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
机译:结合验证和测试技术时,使用鲁棒性测试来处理不完整的验证结果
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:一种使用倾向评分分层法纠正二元测试验证偏差的可靠方法
机译:结合验证和测试技术时,使用鲁棒性测试来处理不完整的验证结果
机译:结合稳健的基于地震微裂缝的验证技术,结合新的三维地震s波传播分析进行远程裂缝检测