6月25日:Software Testing and Quality Workshop
发布时间:2018-06-22  阅读次数:1924

6月25日

报告内容

9:00-9:40

报告题目(Title):MSeer --an Advanced Technique for Locating Multiple Bugs in Parallel

报告人:Prof. Eric Wong  (University of Texas at Dallas)

9:40-10:10

报告题目(Title):Bayesian Methods for Reliability Data Analysis

报告人:Dr. Steven Li (Western New England University)

10:30-11:00

报告题目(Title):Towards a unified executable formal automobile OS kernel and its applications

报告人:Dr. ZHANG Min (East China Normal University)

11:00-11:30

报告题目(Title):Evaluating Static Analysis

报告人:Dr. Shiyi Wei (University of Texas at Dallas)

11:30-12:00

报告题目(Title):Generating Specification from Timing Requirements using Patterns in Cyber-Physical Systems

报告人: CHEN Xiaohong (East China Normal University)

14:00-14:30

报告题目(Title):Using Bugs to Debug

报告人:Dr. Lingming Zhang (University of Texas at Dallas)

14:30-15:00

报告题目(Title): Towards Automated Requirement Modeling and Analysis: Practice in the Domains of Aviation and Aerospace Embedded Control Software

报告人:Dr. MIAO Weikai (East China Normal University)

15:30-16:00

报告题目(Title):Predictable GPGPU Computing in Autonomous Driving Systems

报告人:Dr. Cong Liu (University of Texas at Dallas)

16:00-16:30

报告题目(Title):SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry

报告人:Chengyu Zhang (East China Normal University)

论坛地点:数学馆 201(华东师范大学中山北路校区)

 

点击阅读报告具体信息

华东师范大学软件工程学院
www.sei.ecnu.edu.cn Copyright Software Engineering Institute
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼