共 18 条
- [1] Abramovici M., 1983, ACM IEEE 20th Design Automation Conference Proceedings, P214, DOI 10.1109/DAC.1983.1585651
- [2] Abreu R, 2006, 12TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, P39
- [3] AGRAWAL H, 1990, SIGPLAN NOTICES, V25, P246, DOI 10.1145/93548.93576
- [4] [Anonymous], 2008, 8292008 IEEE
- [5] Bergeron J., 2006, Verification methodology manual for SystemVerilog
- [6] Clarke EM, 1999, LECT NOTES COMPUT SC, V1703, P298
- [7] Locating features in source code [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (03) : 210 - 224
- [8] ITRS Working Group, 2009, INT TECHN ROADM SEM
- [9] Jones J.A., 2001, Proceedings of ICSE 2001 Workshop on Software Visualization, Toronto, Ontario, Canada, P71