中国蜕变测试技术研讨会旨在促进蜕变测试技术在中国的交流,为从事蜕变测试及相关研究的专家、学者以及工业界人士提供一个良好的交流平台,推动学术界和工业界在蜕变测试技术基础理论和工业应用的深层合作,促进蜕变测试技术发展。
自2018 年起,研讨会已分别由北京科技大学、陆军工程大学、武汉大学、浙江理工大学成功举办。本次会议将在南华大学举办,学校位于千里湘江中游、五岳独秀的南岳衡山之南、“北雁南飞,至此歇翅停回”的雁城衡阳,会议将通过高质量研究报告、应用成果以及蜕变测试技术研讨等形式,就蜕变测试技术的研究进展、发展趋势以及热点问题开展广泛、深入的学术研讨。会议日程见表1.
表1 会议日程
序号 |
时间 |
报告题目 |
报告人 |
1 |
8:30-8:50 |
开幕致辞 |
阳小华 教授 软件工程学科带头人,南华大学党委副书记 |
2 |
9:00-9:30 |
从未来战争浅析安全可信军事智能 |
徐珞 研究员 (中国电科智能科技研究院) |
3 |
9:40-10:10 |
集成电路硬件安全 |
张吉良 教授 (湖南大学) |
4 |
10:20-10:50 |
FDMT: 一种反馈引导的蜕变测试方法 |
孙昌爱 教授 (北京科技大学) |
5 |
11:00-11:30 |
从解释性角度看机器学习模型测试 |
刘烃 教授 (西安交通大学) |
6 |
12:00-14:10 |
午休 |
|
7 |
14:30-15:00 |
基于蜕变关系的新型核电软件两阶段验证技术 |
李萌 博士 (南华大学) |
8 |
15:10-15:40 |
多目标跟踪系统鲁棒性测试 |
谢晓园 教授 (武汉大学) |
9 |
15:50-16:20 |
Adversarial Input Detection Based on Critical Transformation Robustness |
张震 工程师 (中国科学院软件研究所) |
10 |
16:30-17:00 |
On the effectiveness of metamorphic testing: A perspective from false satisfaction of metamorphic relations |
江明月 副教授 (浙江理工大学) |
11 |
17:10-17:30 |
闭幕致辞 |
刘杰 副院长 (南华大学 计算机学院) |
因疫情影响,组委会决定采取线上形式,通过腾讯会议举办本次研讨会。
(1)会议ID:440-323-621
(2)会议时间:2022/12/17 08:00-19:00 (GMT+08:00)