Static analysis; Run-time checks; Random testing; Assertions; Abstract interpretation; Program analysis; (Constraint) logic programming;
机译:热塑性材料准静态特性测试的有限元分析:与ANSYS的实验和数值分析结果相关
机译:真理,全部真理,只有真理宣誓书经多国考验
机译:“你在说实话吗?” - 测试个人的能力区分足球的真相和欺骗
机译:VEGA发射器的固体火箭发动机的点火瞬变诱导的负载控制策略:“ Zefiro9”静态点火测试预测和点火后分析。 Zefiro9静态点火测试预测和点火后分析
机译:通过全规模静态负载测试,动态测试和有限元分析桩行为
机译:你说的是真的吗? —测试个人在足球中区分真相和欺骗的能力
机译:提高并发程序测试扩展性的技术:结合静态分析和测试以进行死锁检测