Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis (* ICSE 2018 * - DEMO - Demonstrations ) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jia-Guang Sun

Track

* ICSE 2018 * DEMO - Demonstrations

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 30 May 2018 17:00 - 17:30 at E1/A room - Testing vulnerabilities Chair(s): Lingxiao Jiang

Cong Wang

Yu Jiang

Xibin Zhao

Xiaoyu Song

Ming Gu

Jia-Guang Sun

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 17:30	Testing vulnerabilitiesDEMO - Demonstrations at E1/A room Chair(s): Lingxiao Jiang Singapore Management University

	16:00 30m Talk		SAFL: Increasing and Accelerating Testing Coverage with Symbolic Execution and Guided Fuzzing DEMO - Demonstrations Mingzhe Wang , Jie Liang , Yuanliang Chen , Yu Jiang , Xun Jiao , Han Liu , Xibin Zhao , Jiaguang Sun Link to publication
	16:30 30m Talk		ReGuard: Finding Reentrancy Bugs in Smart Contracts DEMO - Demonstrations Chao Liu , Han Liu , Zhao Cao , Zhong Chen , Bangdao Chen , Roscoe Bill
	17:00 30m Talk		Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis DEMO - Demonstrations Cong Wang , Yu Jiang , Xibin Zhao , Xiaoyu Song , Ming Gu , Jia-Guang Sun