TY - 计算机科学 A1 - 汪文轩, 胡军, 胡建成, 康介祥, 王辉, 高忠杰 T1 - 一种面向形式化表格需求模型的测试用例生成方法 Y1 - 2021-05-15 JF - 计算机科学 JO - 计算机科学 SP - 16 EP - 24 VL - 48 IS - 5 UR - https://www.jsjkx.com N1 - 10.11896/jsjkx.201000048 ER -