共 50 条
- [1] Learning techniques for automatic test pattern generation using boolean satisfiability Telkomnika - Indonesian Journal of Electrical Engineering, 2013, 11 (07): : 4077 - 4085
- [3] Using static analysis to improve automatic test generation TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 235 - 250
- [9] Robust Algorithms for High Quality Test Pattern Generation Using Boolean Satisfiability INTERNATIONAL TEST CONFERENCE 2010, 2010,