Program

Sun 26 May

08:30-09:30 Session 1: Opening and Keynote Speech, Session chair: Dave Towey
08:30-09:30
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
09:30-10:00
Systematic Testing of Post-Quantum Cryptographic Implementations Using MT
Sydney Pugh, M S Raunak, Richard Kuhn and Raghu Kacker
10:00-10:30
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
11:00-11:25
The Impact of a Dot: Case Studies of a Noise Metamorphic Relation Pattern (slides)
Chaohua Wu, Liqun Sun and Zhi Quan Zhou
11:25-11:50
Metamorphic Relation Patterns for Query-Based Systems (slides)
Sergio Segura, Amador Durán Toro, Javier Troya and Antonio Ruiz-Cortés
11:50-12:15
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
14:00-14:30
Metamorphic Testing of a Deep Learning based Forecaster (slides)
Anurag Dwarakanath, Manish Ahuja, Sanjay Podder, Vinu Silja, Arijit Naskar and Koushik Mv
14:30-15:00
Metamorphic Exploration of an Unsupervised Clustering Program (slides)
Sen Yang, Dave Towey and Zhi Quan Zhou
15:00-15:30
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
16:00-16:30
Metamorphic Relations for Detection of Performance Anomalies
Owen Johnston, Darryl Jarman, Jeffrey Berry, Zhi Quan Zhou and Tsong Yueh Chen
16:30-17:00
Metamorphic Relations for Data Validation: A Case Study of Translated Text Messages
Boyang Yan, Brian Yecies and Zhi Quan Zhou
17:00-17:30
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