机译:通过AI自动计划技术为并发程序生成有效的测试
机译:基于整数编程的基于Web的大规模多目标静态测试生成
机译:结合静态和动态技术的测试方法
机译:结合静态分析和测试进行死锁检测
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:2SigFinder:结合使用小规模和大规模统计测试从单个基因组检测基因组岛
机译:组合静态,动态和交互式分析安全测试工具在Web应用程序中提高OWASP十大安全漏洞检测
机译:应用荷载比静态试验模拟技术在全尺寸结构中的应用。 I,分析方法和数字计算机程序