Software testing; Test-case generation; Conditional model checking; Cooperative verification; Software verification; Program analysis; Test coverage;
机译:新的约束测试用例生成器和混合优化器的重要性
机译:用于非线性连续参数优化技术的测试用例生成器
机译:弱识别模型的条件线性组合检验
机译:有条件地测试了测试壳发电机的搁板组合
机译:自动生成测试用例,以克服农药悖论,从而在面向对象的编程中进行集成测试。
机译:在韩国一家三级医院中有条件地结合使用LISS / Coombs和NaCl /酶凝胶试验进行意外的红细胞抗体检测:一项为期5年的研究
机译:jpET:Java的自动测试用例生成器