杨玲组内经历2018 年毕业硕士论文搜索论文发表载体全部SAC1 篇论文清除全部筛选未找到论文清除全部筛选2018Generating minimal test set satisfying MC/DC criterion via SAT based approachSAC 2018·Ling Yang, Jun Yan, Jian Zhang引用