Automotive engineering; Binary trees; Complexity theory; Context; Measurement; Software; Software testing; MC/DC; binary trees; test case generation;
机译:自动生成MC / DC测试数据
机译:通过布尔可满足性自动生成测试模式以测试桥接故障
机译:定时自动测试图案生成的高效布尔特征函数
机译:用于布尔表达式的自动MC / DC测试案例的实用方法
机译:自动MC / DC测试图案生成
机译:布尔网络的性质及其测试方法
机译:优化saT和smT自动测试生成求解布尔表达式