机译:在OTS / CafeOBJ方法中从证明分数生成不变性质的测试用例
School of Electrical and Computer Engineering, Kanazawa University, Kanazawa-shi, 920-1192 Japan;
Center for Service Research, National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, 135-0064 Japan;
formal specification; proof score; software testing; OTS; CafeOBJ;
机译:在OTS / CafeOBJ方法中撰写不变式的证明分数
机译:使用二进制项的Δ评分方法:真正分数估计和等式的注释
机译:锂离子电池的内部短路和加速量热测试:甲烷-空气本安和防爆/防火保护方法的考虑
机译:OTS / Cafeobj方法中的证明分数
机译:对其他语言认证讲者的英语对英语学习者考试成绩的影响的混合方法分析。
机译:锂离子电池的内部短路和加速量热测试:甲烷-空气本安和防爆/防火保护方法的考虑
机译:从OTs / CafeOBJ方法中的证明分数生成不变属性的测试用例
机译:mirrortron实验:产生高瞬态电位的方法的原理验证