Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
VenueWorkshops
Room nameMET Room
Room InformationNo extra information available

Information for Participants
Info for room MET Room:

Go directly to this room on Clowdr

Program

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

Wed 2 Jun

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

10:00 - 10:20
Opening SessionMET at MET Room
Chair(s): Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia
10:00
20m
Day opening
Opening Remarks
MET
Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia
Media Attached
10:20 - 11:00
Session 1: Autonomous Driving and SimulationMET at MET Room
Chair(s): Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia
10:20
20m
Short-paper
BMT: Behavior Driven Development-based MetamorphicTesting for Autonomous Driving Models
MET
Yao Deng Macquarie University, Guannan Lou Macquarie University, Xi Zheng Macquarie University, Tianyi Zhang Harvard University, USA, Miryung Kim University of California at Los Angeles, USA, Huai Liu Swinburne University of Technology, Chen Wang CSIRO DATA61, Tsong Yueh Chen Swinburne University of Technology
Media Attached
10:40
20m
Short-paper
Enhancing Euro NCAP Standards with Metamorphic Testing for Verification of Advanced Driver-Assistance Systems
MET
Muhammad Iqbal University of Wollongong, Jia Cheng Han University of Wollongong, Zhi Quan (George) Zhou University of Wollongong, Australia, Dave Towey University of Nottingham Ningbo China
Media Attached
12:00 - 13:20
Session 2: Safety and Security and Metamorphic RelationsMET at MET Room
Chair(s): Xiaoyuan Xie School of Computer Science, Wuhan University, China
12:00
30m
Long-paper
Robustness Evaluation of Stacked Generative Adversarial Networks using Metamorphic Testing
MET
Hyejin Park School of Information Technology, Monash University Malaysia, Taaha Waseem School of Information Technology, Monash University Malaysia, Wen Qi Teo School of Information Technology, Monash University Malaysia, Ying Hwei Low School of Information Technology, Monash University Malaysia, Mei Kuan Lim School of Information Technology, Monash University Malaysia, Chun Yong Chong Monash University
Media Attached
12:30
30m
Long-paper
MT4NS: Metamorphic Testing for Network Scanning
MET
Zhirui Zhang University of Nottingham Ningbo China, Dave Towey University of Nottingham Ningbo China, Zhihao Ying University of Nottingham Ningbo China, Yifan Zhang University of Nottingham Ningbo China, Zhi Quan (George) Zhou University of Wollongong, Australia
Media Attached
13:00
20m
Short-paper
Follow-up Test Cases are Better Than Source Test Cases in Metamorphic Testing: A Preliminary Study
MET
Zenghui Zhou Beihang University, Zheng Zheng Beihang University, Tsong Yueh Chen Swinburne University of Technology, Jinyi Zhou Beihang University, Kun Qiu Beihang University
Media Attached
15:00 - 16:00
Keynote speechMET at MET Room
Chair(s): Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia, Sergio Segura Universidad de Sevilla, Xiaoyuan Xie School of Computer Science, Wuhan University, China
15:00
60m
Keynote
How do we go — to MET 2.0?
MET
Adam Porter University of Maryland
Media Attached
16:10 - 17:30
Session 3: Safety and Security and SimulationMET at MET Room
Chair(s): Xiaoyuan Xie School of Computer Science, Wuhan University, China
16:10
30m
Long-paper
Metamorphic Detection of Repackaged Malware
MET
Shirish Singh Columbia University, Gail Kaiser Columbia University
Media Attached
16:40
20m
Short-paper
Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models
MET
M S Raunak National Institute of Standards and Technology, Megan Olsen Loyola University Maryland
Media Attached
17:00
30m
Long-paper
Metamorphic Testing for Image-based Calcium Imaging Analysis Pipelines
MET
Madeline Diep Fraunhofer USA CESE, Rohan Reddy Mekala Fraunhofer USA CESE, Ujjwal Ayyangar Fraunhofer USA CESE, Gudjon Magnusson Fraunhofer USA CESE, Adam Porter Fraunhofer USA CESE, Wolfgang Losert University of Maryland, Mikael Lindvall Fraunhofer USA CESE
Media Attached
18:00 - 19:20
Session 4: Safety and Security and Simulation and Metamorphic RelationsMET at MET Room
Chair(s): Sergio Segura Universidad de Sevilla
18:00
30m
Long-paper
Applying Metamorphic Testing to Homomorphic Cryptography
MET
Melvin Wolf Jacobs University Bremen, Jürgen Schönwälder Jacobs University Bremen
Media Attached
18:30
20m
Short-paper
Towards Automated Metamorphic Test identification for Ocean System Models
MET
Dilip Jagadeeshwarswamy Hiremath GEOMAR, Helmholtz Centre for Ocean Research and Kiel University, Martin Claus GEOMAR, Helmholtz Centre for Ocean Research and Kiel University, Wilhelm Hasselbring Kiel University, Willi Rath GEOMAR, Helmholtz Centre for Ocean Research
Media Attached
18:50
30m
Long-paper
Dreaming up Metamorphic Relations: Experiences from Three Fuzzer ToolsBest MET Paper Award
MET
Andrei Lascu Imperial College London, Matt Windsor Imperial College London, Alastair F. Donaldson Imperial College London, Tobias Grosser University of Edinburgh, John Wickerson Imperial College London
Media Attached
19:20 - 19:40
Closing SessionMET at MET Room
Chair(s): Sergio Segura Universidad de Sevilla
19:20
20m
Day closing
Closing Remarks
MET
Sergio Segura Universidad de Sevilla
Media Attached