共 50 条
- [31] ALGORITHMS FOR AUTOMATIC TEST PATTERN GENERATION IEEE DESIGN & TEST OF COMPUTERS, 1988, 5 (03): : 43 - 55
- [32] Tool for automatic test case generation KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2004, 108 : 65 - 74
- [33] Automatic test pattern generation with BOA PARALLEL PROBLEM SOLVING FROM NATURE - PPSN IX, PROCEEDINGS, 2006, 4193 : 423 - 432
- [37] Automatic Generation of Test Inputs for Mercury LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2009, 5438 : 71 - +
- [39] Automatic Test Generation for Coverage Improvement HLDVT: 2008 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2008, : 141 - 142