Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
Venueonline
Room nameISSTA Demos
Room InformationNo extra information available
Program

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