Improving Test Pattern Generation with Implication Learning
-
Published:2011
Issue:
Volume:11
Page:125-131
-
ISSN:1878-0296
-
Container-title:Procedia Environmental Sciences
-
language:en
-
Short-container-title:Procedia Environmental Sciences
Reference17 articles.
1. J. Silva, K. Sakallah. GRASP: A Search Algorithm for Propositional Satisfiability [J]. IEEE Transactions of Computers, 1999, 48(5):506-521.
2. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an Efficient SAT Solver [C]. 38th Design Automation Conference, Las Vegas, Nevada, 2001: 530-535.
3. E. Goldberg and Y. Novikov. BerkMin: a Fast and Robust SAT-Solver [C]. Design, Automation & Test in Europe (DATE’2002), Paris, France, 2002(3):142-149.
4. T. Larrabee. Test pattern generation using Boolean satisfiability [J]. IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems, 1992, 11 (2): 4-15.
5. P. Stephan, R.K. Brayton, and A.L. Sangiovanni-Vincentelli. Combinational test generation using satisfiability [J]. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 1996, 15 (9): 1167-1176.