1 颜炯, 王戟, 陈火旺. 基于模型的软件测试综述. 计算机科学, 2004, (2).
2 Ball T, Bountimova E, Cook B. Through static analysis of device drivers. EuroSys, 2006: 73-85.
3 Yang J, Sar C, Engler D. Explode: a lightweight, general system for finding serious storage sys errors. Proceedings of the USENIX Symposium on Operating System Design and Implementation (OSDI) Seattle, Washington, 2006.
4 Engler D, Chelf B, Chou A, et al. Checking system rules using system-specific, programmer-written compiler extensions. Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, CA, 2000.
5 Ashcraft K, Engler D. Using programmer-written compiler extensions to catch security holes. IEEE Symposium on Security and Privacy, Oakland, California, 2002.
6 Hovemeyer D, Pugh W. Finding bugs is easy. ACM SIGPLAN Notices, 2004, 39 (12): 92-106.
7 杨朝红, 宫云战, 肖庆, 毕学军. 基于模型的软件测试. 北京化工大学学报, 2007, (34): 85-88.
8 Cadar C, Canesh V, Pawlowski P M, et al. Engler EXE:Automatically generating inputs of death. 13th ACM Conference on Computer and Communications Security, 2006.
9 Rutar N, almazan C, Foster J S. A comparison of bug finding tools for Java. Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering, Saint-Malo, France, 2004.