MET Room - FormaliSE 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

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

Save

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 Tools 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

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30
MET Room	MET Opening Session				MET Session 1: Autonomous Driving and Simulation																				MET Session 2: Safety and Security and Metamorphic Relations																																				MET Keynote speech														MET Session 3: Safety and Security and Simulation																						MET Session 4: Safety and Security and Simulation and Metamorphic Relations																MET Closing Session

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45
MET Room	MET Opening Remarks 10:00 - 10:20				MET BMT: Behavior Driven Development-based MetamorphicTesting for Autonomou ... 10:20 - 10:40				MET Enhancing Euro NCAP Standards with Metamorphic Testing for Verification ... 10:40 - 11:00																MET Robustness Evaluation of Stacked Generative Adversarial Networks using ... 12:00 - 12:30						MET MT4NS: Metamorphic Testing for Network Scanning 12:30 - 13:00						MET Follow-up Test Cases are Better Than Source Test Cases in Metamorphic T ... 13:00 - 13:20																								MET How do we go — to MET 2.0? 15:00 - 16:00														MET Metamorphic Detection of Repackaged Malware 16:10 - 16:40						MET Metamorphic Testing on the Continuum of Verification and Validation of ... 16:40 - 17:00				MET Metamorphic Testing for Image-based Calcium Imaging Analysis Pipelines 17:00 - 17:30												MET Applying Metamorphic Testing to Homomorphic Cryptography 18:00 - 18:30						MET Towards Automated Metamorphic Test identification for Ocean System Models 18:30 - 18:50				MET Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools 18:50 - 19:20						MET Closing Remarks 19:20 - 19:40

Room information: MET Room

Go directly to this room on Clowdr

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

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

MET

MET

MET

MET

MET

MET

MET

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

Tracks

Room information: MET Room

Program Display Configuration

Wed 2 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

MET

MET

MET

MET

MET

MET

MET

Wed 2 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

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

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

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