ISSTA Demos - ECOOP and ISSTA 2021

Venueonline

Room nameISSTA Demos

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect 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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

18:00 - 18:05	ISSTA Tool Demos (One-Minute Teasers) 1ISSTA Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart

18:00 5m Other		One-Minute Teasers ISSTA Tool Demonstrations

18:05 - 18:40	ISSTA Tool Demos (Live Discussion) 1ISSTA Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart

18:05 35m Live Q&A		RESTest: Automated Black-Box Testing of RESTful Web APIs ISSTA Tool Demonstrations Alberto Martin-Lopez Universidad de Sevilla, Sergio Segura Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville
18:05 35m Live Q&A		C4: the C Compiler Concurrency Checker ISSTA Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London
18:05 35m Live Q&A		echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing ISSTA Tool Demonstrations Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits
18:05 35m Live Q&A		SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts ISSTA Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University
18:05 35m Live Q&A		ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing ISSTA Tool Demonstrations Roberto Natella Federico II University of Naples, Thuan Pham The University of Melbourne

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

01:00 - 01:05	ISSTA Tool Demos (One-Minute Teasers) 2ISSTA Tool Demonstrations at ISSTA Demos Chair(s): August Shi University of Texas at Austin

01:00 5m Other		One-Minute Teasers ISSTA Tool Demonstrations

01:05 - 01:40	ISSTA Tool Demos (Live Discussion) 2ISSTA Tool Demonstrations at ISSTA Demos Chair(s): August Shi University of Texas at Austin

01:05 35m Live Q&A		MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services ISSTA Tool Demonstrations Hanlin Wei The University of Queensland, Behnaz Hassanshahi Oracle Labs, Australia, Guangdong Bai University of Queensland, Paddy Krishnan Oracle Labs, Australia, Kostyantyn Vorobyov Oracle Labs, Australia
01:05 35m Live Q&A		TauMed: Test Augmentation of Deep Learning in Medical Diagnosis ISSTA Tool Demonstrations Yunhan Hou Nanjing University, Jiawei Liu Nanjing University, Daiwei Wang Nanjing University, Jiawei He Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University
01:05 35m Live Q&A		RESTest: Automated Black-Box Testing of RESTful Web APIs ISSTA Tool Demonstrations Alberto Martin-Lopez Universidad de Sevilla, Sergio Segura Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville

09:00 - 09:05	ISSTA Tool Demos (One-Minute Teasers) 3ISSTA Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart

09:00 5m Other		One-Minute Teasers ISSTA Tool Demonstrations

09:05 - 09:40	ISSTA Tool Demos (Live Discussion) 3ISSTA Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart

09:05 35m Live Q&A		SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts ISSTA Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University
09:05 35m Live Q&A		TauMed: Test Augmentation of Deep Learning in Medical Diagnosis ISSTA Tool Demonstrations Yunhan Hou Nanjing University, Jiawei Liu Nanjing University, Daiwei Wang Nanjing University, Jiawei He Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University
09:05 35m Live Q&A		ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing ISSTA Tool Demonstrations Roberto Natella Federico II University of Naples, Thuan Pham The University of Melbourne
09:05 35m Live Q&A		C4: the C Compiler Concurrency Checker ISSTA Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London
09:05 35m Live Q&A		echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing ISSTA Tool Demonstrations Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits
09:05 35m Live Q&A		MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services ISSTA Tool Demonstrations Hanlin Wei The University of Queensland, Behnaz Hassanshahi Oracle Labs, Australia, Guangdong Bai University of Queensland, Paddy Krishnan Oracle Labs, Australia, Kostyantyn Vorobyov Oracle Labs, Australia

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	18:00						30
ISSTA Demos	ISSTA Tool Demonstrations ISSTA Tool Demos (One-Minute Teasers) 1	ISSTA Tool Demonstrations ISSTA Tool Demos (Live Discussion) 1

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30
ISSTA Demos	ISSTA Tool Demonstrations ISSTA Tool Demos (One-Minute Teasers) 2	ISSTA Tool Demonstrations ISSTA Tool Demos (Live Discussion) 2																																																																											ISSTA Tool Demonstrations ISSTA Tool Demos (One-Minute Teasers) 3	ISSTA Tool Demonstrations ISSTA Tool Demos (Live Discussion) 3

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	18:00			15			30			45
ISSTA Demos	ISSTA Tool Demonstrations One-Minute Teasers 18:00 - 18:05	ISSTA Tool Demonstrations RESTest: Automated Black-Box Testing of RESTful Web APIs 18:05 - 18:40 C4: the C Compiler Concurrency Checker 18:05 - 18:40 echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing 18:05 - 18:40 SCStudio: A Secure and Efficient Integrated Development Environment for ... 18:05 - 18:40 ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing 18:05 - 18:40

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45
ISSTA Demos	ISSTA Tool Demonstrations One-Minute Teasers 01:00 - 01:05	ISSTA Tool Demonstrations MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services 01:05 - 01:40 TauMed: Test Augmentation of Deep Learning in Medical Diagnosis 01:05 - 01:40 RESTest: Automated Black-Box Testing of RESTful Web APIs 01:05 - 01:40																																																																											ISSTA Tool Demonstrations One-Minute Teasers 09:00 - 09:05	ISSTA Tool Demonstrations SCStudio: A Secure and Efficient Integrated Development Environment for ... 09:05 - 09:40 TauMed: Test Augmentation of Deep Learning in Medical Diagnosis 09:05 - 09:40 ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing 09:05 - 09:40 C4: the C Compiler Concurrency Checker 09:05 - 09:40 echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing 09:05 - 09:40 MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services 09:05 - 09:40

Room information: ISSTA Demos

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Tool Demonstrations

ISSTA Tool Demonstrations

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Tool Demonstrations

ISSTA Tool Demonstrations

ISSTA Tool Demonstrations

ISSTA Tool Demonstrations

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tracks

Co-hosted Conferences

Workshops

Room information: ISSTA Demos

Program Display Configuration

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Tool Demonstrations

ISSTA Tool Demonstrations

Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Tool Demonstrations

ISSTA Tool Demonstrations

ISSTA Tool Demonstrations

ISSTA Tool Demonstrations

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change