4月7日08:00-08:30

Prof. Zili Zhang

Southwest University

Opening Session           

(1) Welcome Speech by Vice President of SWU, Prof. Yanqiang Cui

(2) SETSS Briefing by Prof. Zhiming Liu

(3) School Photo Taking

4月7日 上午

Prof. Mark Utting

University of the Sunshine Coast

An Introduction to Software Verification with Whiley

4月7日 下午

Prof. Mark Utting

University of the Sunshine Coast

An Introduction to Software Verification with Whiley

4月8日 上午

Prof . Wang Yi

North Eastern Univerisity

Model-Based Design   of Real-Time Systems: from Timed Automata to Di-Graph and Back

4月8日 下午

Prof. Lijun Zhang

Institute of Software Chinese Academy of Sciences

Omega-automata   learning algorithms and its application

4月9日 上午

Prof. Lijun Zhang

Institute of Software Chinese Academy of Sciences

Omega-automata   learning algorithms and its application

4月9日 下午

Prof. Wang Yi

North Eastern Univerisity

Model-Based   Design of Real-Time Systems:  from   Timed Automata to Di-Graph and Back

4月9日 晚上

Dr. Yu Jiang

Tsinghua University

Fuzzing Testing in Theory and Practice

4月10日 上午

Prof. Jorge Cuellar

Siemens AG

Securing the Future IoT Application

4月10日 下午

Prof. Zhendong Su

UC Davis

Randomized and Systematic Testing of Software

4月10日 晚上

Prof. Jonathan Bowen

London South Bank University

From Alan Turing to Formal Methods

4月11日 上午

Prof. Zhendong Su

UC Davis

Randomized and Systematic Testing of Software

4月11日 下午

Prof.

Nikolaj Bjorner

Microsoft Research

Programming Constraint Services with Z3

4月12日 上午

Prof.

Nikolaj Bjorner

Microsoft Research

Programming Constraint Services with Z3

4月12日 下午

Prof. Jorge Cuellar

Siemens AG

Securing the Future IoT Application