共 12 条
- [1] Levendel Y.(1982)Test Generation Algorithms for Computer Hardware Description Languages IEEE Transactions on Computers C-31 577-588
- [2] Menon P.(1985)The S-algorithm: A Promising Solution for Systematic Functional Test Generation IEEE Transactions On Computer-Aided-Design CAD-4 250-263
- [3] Lin T.(1991)On Behavioral Fault Modeling for Digital Designs Journal of Electronic Testing: Theory and Applications 2 135-151
- [4] Su S.Y.(1988)Chip-Level Modeling with HDLs IEEE Design and Test of Computers 5 577-588
- [5] Ghosh S.(1978)Hints on Test Data Selection: Help for the Practicing Programmer IEEE Computer 11 34-41
- [6] Chakraborty T.J.(1991)Constraint-Based Automatic Test Data Generation IEEE Transactions on Computers 17 900-910
- [7] Armstrong J.R.(undefined)undefined undefined undefined undefined-undefined
- [8] DeMillo R.(undefined)undefined undefined undefined undefined-undefined
- [9] Lipton R.(undefined)undefined undefined undefined undefined-undefined
- [10] Sayward F.(undefined)undefined undefined undefined undefined-undefined