危险迹相关硕士博士期刊学术论文

安全关键系统必须满足规定的安全性质．测试生成通常独立于给定性质，“先验证再测试”的方法不能保证安全性质被测试．为此，该文提出了一......