测试包缩减相关硕士博士期刊学术论文

利用模型检验器输出的反例构造测试用例是测试自动化的一种重要手段．由于一个测试用例可能覆盖多个测试目标，测试生成过程中可能存在......