机译:我的代码如何验证(或测试)?伪造驱动的验证和测试
School of Informatics, Computing and Cyber Systems, Northern Arizona University;
School of Electrical Engineering and Computer Science, Oregon State University;
School of Electrical Engineering and Computer Science, Oregon State University;
IBM Linux Technology Center;
School of Informatics, Computing and Cyber Systems, Northern Arizona University;
Formal verification; Random testing; Mutation testing; Philosophy of science; Falsification; Oracles;
机译:Gen-IV型钠冷快堆的安全性和性能验证试验以及计算代码的验证与验证
机译:Gen-IV型钠冷快堆的安全性和性能验证试验以及计算代码的验证与验证
机译:基准测试,用于在粒子碰撞级别验证离散元素建模代码
机译:如何验证是我的代码?伪造驱动的验证
机译:重构设计模型以进行成分验证,一致性测试和归纳验证。
机译:优化撒哈拉以南非洲地区的艾滋病毒检测服务:通过艾滋病毒自我检测和分流检测进行验证检测的成本和性能
机译:aIaa代码验证项目 - CFD代码验证的测试案例