共 9 条
[1]
CUTE.[J].Koushik Sen;Darko Marinov;Gul Agha.ACM SIGSOFT Software Engineering Notes.2005, 5
[2]
mmdump.[J].Jacobus van der Merwe;Ramón Cáceres;Yang-hua Chu;Cormac Sreenan.ACM SIGCOMM Computer Communication Review.2000, 5
[5]
基于聚类分析的应用层流量识别研究.[D].练琪.湖南大学.2010, 04
[6]
基于分类算法与聚类算法流量识别系统的研究.[D].崔月婷.北京邮电大学.2010, 03
[7]
缓冲区溢出漏洞的挖掘与利用方法研究.[D].彭青白.华中科技大学.2009, S2
[8]
Boolector:An Efficient SMT Solver for Bit-Vectors and Arrays..R.Brummayer;A.Biere;.Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems:Held as Part of the Joint European Conferences on Theory and Practice of Software;ETAPS 2009.2009,
[9]
基于动态测试用例生成的二进制软件缺陷自动发掘技术研究.[D].李根.国防科学技术大学.2010, 04