Sun 26 May

08:30-09:30 Session 1: Opening and Keynote Speech, Session chair: Dave Towey
Metamorphic Testing of Android Graphics Drivers
Alastair F. Donaldson (for details)
09:30-10:30 Session 2: Emerging applications of metamorphic testing, Session chair: Shin Nakajima
Systematic Testing of Post-Quantum Cryptographic Implementations Using MT
Sydney Pugh, M S Raunak, Richard Kuhn and Raghu Kacker
On Applying Metamorphic Testing: An Empirical Study On Academic Search Engines (slides)
Stevão Andrade, Italo Santos, Claudinei Brito, Misael Junior, Simone R. S. de Souza and Marcio Delamaro
10:30-11:00 Coffee break
11:00-12:15 Session 3: Metamorphic relation patterns, Session chair: Manish Ahuja
The Impact of a Dot: Case Studies of a Noise Metamorphic Relation Pattern (slides)
Chaohua Wu, Liqun Sun and Zhi Quan Zhou
Metamorphic Relation Patterns for Query-Based Systems (slides)
Sergio Segura, Amador Durán Toro, Javier Troya and Antonio Ruiz-Cortés
Using constraint solvers to validate metamorphic relations (slides)
M.Carmen De Castro, Antonio Garcia-Dominguez and Inmaculada Medina-Bulo
12:30-14:00 Lunch break
14:00-15:30 Session 4: Metamorphic testing for machine learning, Session chair: Sergio Segura
Metamorphic Testing of a Deep Learning based Forecaster (slides)
Anurag Dwarakanath, Manish Ahuja, Sanjay Podder, Vinu Silja, Arijit Naskar and Koushik Mv
Metamorphic Exploration of an Unsupervised Clustering Program (slides)
Sen Yang, Dave Towey and Zhi Quan Zhou
Metamorphic Detection of Adversarial Examples in Deep Learning Models With Affine Transformations (slides)
Rohan Reddy Mekala, Gudjon Einar Magnusson, Adam Porter, Mikael Lindvall and Madeline Diep
15:30-16:00 Coffee break
16:00-17:30 Session 5: Metamorphic testing for nonfunctional validation, Session chair: Adam Porter
Metamorphic Relations for Detection of Performance Anomalies
Owen Johnston, Darryl Jarman, Jeffrey Berry, Zhi Quan Zhou and Tsong Yueh Chen
Metamorphic Relations for Data Validation: A Case Study of Translated Text Messages
Boyang Yan, Brian Yecies and Zhi Quan Zhou
Addressing Data Quality Problems with Metamorphic Data Relations
Florian Auer and Michael Felderer

Important Dates

Submission deadline: February 1, 2019
Extended to: February 11, 2019 (AOE)
Notification to authors: March 1, 2019
Camera ready copies due: March 15, 2019