共 50 条
- [31] Bandwidth-Aware Test Compression Logic for SoC Designs 2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS), 2012,
- [32] An automatic test system model based on linear temporal logic ICEMI'2003: PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOLS 1-3, 2003, : 571 - 576
- [33] Improving Model-Based Test Generation by Model Decomposition 2015 10TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2015) PROCEEDINGS, 2015, : 119 - 130
- [36] Test Pattern Generation in Presence of Unknown Values Based on Restricted Symbolic Logic 2014 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2014,
- [37] Level-oriented GA-based test generation of logic circuits 1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 563 - 567