共 10 条
- [1] Beizer B., 2003, Software Testing Techniques
- [3] CORNO F, 2000, VTS 2000 18 IEEE VLS
- [4] CORNO F, 2000, DCIS 2000 15 C DES C
- [5] CORNO F, 2000, IN PRESS IEEE DE JUN
- [6] DEVADAS S, 1996, P IEEE ACM INT C COM
- [7] Fallah F., 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), P666, DOI 10.1109/DAC.1999.782026
- [8] FALLAH F, 1998, P 34 DES AUT C
- [9] Fin A., 2000, Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537), P390, DOI 10.1109/DATE.2000.840301
- [10] RIESGO T, 1996, P EURODAC EUROVHDL