活动预告 | CodeWisdom 软件智能化开发与运维学术报告系列第6期（张煜群南方科技大学）...

pengxin_ce

于 2023-07-11 13:16:35 发布

阅读量114

点赞数

文章标签：科技人工智能

原文链接：https://mp.weixin.qq.com/s?__biz=MzU4NDU4OTM4OQ==&mid=2247503229&idx=1&sn=b801d0a05686d4fa859593e1fc540049&chksm=fd95045fcae28d4909b16b394407f0d160dc8ef08ace9e3b8383aa70506221fd8220d42783e2&scene=126&sessionid=0

版权

报告探讨了模糊测试作为一种程序安全漏洞检测技术，通过分析深度神经网络在模糊测试中的机制，研究随机策略的影响，并揭示混合式模糊测试的关键因素。报告人张煜群是软件工程领域的专家，其研究还包括污点分析和代码预训练模型。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

张煜群

内容简介

题目

聊聊模糊测试那点事

摘要

模糊测试是时下流行的程序安全漏洞检测技术。它通过将自动或半自动生成的随机数据输入到一个程序中，并监视程序异常，如崩溃，断言（assertion）失败，以发现可能的比如内存泄漏等程序错误。尽管近年来模糊测试研究成果与日俱增，其一些典型的基础机制却并未得到深入的理解和挖掘。本报告从针对结合深度神经网络的模糊测试机制实证分析出发，进一步的研究随机策略在模糊测试中的作用以及影响混合式模糊测试技术性能表现的关键因素，为通用模糊测试的技术路线发展提供新的视角。

报告人

张煜群，2017年2月加入南方科技大学计算机科学与工程系任助理教授。2016年12月于美国德克萨斯大学奥斯汀分校电子计算机工程系获得博士学位。研究领域为软件工程，现研究课题包括模糊测试、污点分析、代码预训练模型等。他迄今为止共发表论文40余篇，包括TSE, TOSEM, TPDS, ICSE, ISSTA, ASE, DAC等国际著名期刊会议论文20余篇，并在ISSTA'19上获得ACM SIGSOFT杰出论文奖。

时间安排

❖

时间：2023/07/14（周五）上午10:30

❖

地点：

复旦大学江湾校区二号交叉学科楼A2003

博客等级

码龄3年

114
原创

302
点赞

397
收藏

264
粉丝

关注

私信

热门文章

最新评论

复旦CodeWisdom团队发布开源风险治理平台“伏羲”
2301_79153091: 希望我儿子团队继续努力！
CCF ChinaSoft 2023 论坛巡礼 | 智能化软件开发和维护论坛
m0_74215679: import java.util.Scanner; public class Main { public static void main(String[] args){ Scanner can=new Scanner(System.in); int n=can.nextInt(); for (int k = 0; k < n; k++) { int salary=can.nextInt(); int summary=0; if (salary>=100){ summary+=salary/100; salary%=100; } if (salary>=50){ summary+=salary/50; salary%=50; } if (salary>=10){ summary+=salary/10; salary%=10; } if (salary>=5){ summary+=salary/5; salary%=5; } if (salary>=2){ summary+=salary/2; salary%=2; } if (salary>=1){ summary+=salary; } System.out.println(summary); } } }
CCF ChinaSoft 2023 论坛巡礼 | 智能化软件开发和维护论坛
m0_74215679: import java.util.ArrayList; import java.util.Collections; import java.util.Comparator; import java.util.List; import java.util.Scanner; public class Main{ public static void main(String[] args){ Scanner ci=new Scanner(System.in); int n=ci.nextInt(); for (int i = 0; i < n; i++) { int mybagSize= ci.nextInt(); bag[] s=new bag[5]; List<bag>b=new ArrayList<>(); for (int j = 0; j < 5; j++) { s[j]=new bag(); s[j].sized=ci.nextInt(); } for (int j = 0; j < 5; j++) { s[j].priced=ci.nextInt(); s[j].prsd=s[j].priced/(s[j].sized*1.0); } for (int j = 0; j < 5; j++) { b.add(s[j]); } Collections.sort(b, new Comparator<bag>() { @Override public int compare(bag o1d, bag o2d) { return o2d.prsd.compareTo((o1d.prsd)); } } ); double sum=0; for (int j = 0; j < 5; j++) { if (mybagSize>=b.get(j).sized){ sum+=b.get(j).priced; mybagSize-=b.get(j).sized; if (mybagSize==0) break; } else { sum+=b.get(j).prsd*mybagSize; break; } } System.out.printf("%.2f\n",sum); } } } class bag{ int priced; int sized; Double prsd; }
【chatGPT】和chatGPT结对编程的6小时
探险家Ezreal: 真是彭老师吗？
ChinaSoft 论坛巡礼 | CCF-华为胡杨林基金-软件工程专项论坛
三桂sg: 请问是否有回放视频

最新文章

目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。