Group Meeting Schedule (2019 Spring)

Time: 14:00 - 16:00 (Friday)
Location: Room 821, CS Building
Date Speaker Title
5月10日 月度汇报
5月17日 钮鑫涛博士论文答辩 (14:30 - 16:00, Room 222)
5月24日 ICSE 2019
5月31日 ICSE 2019
6月7日 端午节
6月14日 月度汇报
6月21日 尹震 一种基于故障注入的云平台容错评估及优化方法
鲁耀远 K-branching UIO sequences for partially specified observable non-deterministic FSMs (TSE Early Access)
6月28日 陆超逸 Towards Model Checking with Android Apps (TSE 2017)
张志男 无人机可靠性生态系统的设计与实现
7月5日 月度汇报
7月12日 徐立鑫 Metamorphic Testing of RESTful Web APIs (TSE 2018)
邓文俊 Listening to the Crowd for the Release Planning of Mobile Apps (TSE 2019)
7月19日 ISSTA 2019