- 博客(4)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 [论文笔记]A systematic review of fuzzing based on machine learning techniques
A systematic review of fuzzing based on machine learning techniquesWang, Yan, Peng Jia, Luping Liu, Cheng Huang和Zhonglin Liu. 《A Systematic Review of Fuzzing Based on Machine Learning Techniques》. 编辑 Tao Song. PLOS ONE 15, 期 8 (2020年8月18日): e0237749. http
2021-01-04 09:16:10
1493
原创 [论文笔记]A Survey of Compiler Testing
A Survey of Compiler TestingChen, Junjie, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao和Lu Zhang. 《A Survey of Compiler Testing》. ACM Computing Surveys 1, 期 1 (不详): 35.INTRODUCTION编译器错误可能导致从正确的源代码生成不正确的二进制代码。编译器中的单个错误可以传播到基于它的任何应用程序
2020-12-21 20:05:19
1175
2
原创 [论文笔记]Compiler Fuzzing: How Much Does It Matter?
Compiler Fuzzing: How Much Does It Matter?Marcozzi, Michaël, Qiyi Tang, Alastair F. Donaldson和Cristian Cadar. 《Compiler Fuzzing: How Much Does It Matter?》 Proceedings of the ACM on Programming Languages 3, 期 OOPSLA (2019年10月10日): 1–29. https://doi.org/10.
2020-12-17 16:09:21
477
原创 [论文笔记]程序分析研究进展
[论文笔记]程序分析研究进展摘 要: 在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近 10 余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.关键词: 程序分析;软件质量保障;静态分析;动态分析程序分析：对计算
2020-12-15 15:48:12
857
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人