Program

Long papers: 15 mins presentation + 15 mins discussion
Short papers: 10 mins presentation + 10 mins discussion

9:00 -10:30: Welcome, Keynote: Metamorphic Testing: Beyond Testing Numerical Computations and Q&A (slides)

10:30 - 11:00: Coffee Break

11:00 - 12:30: Session 2: Metamorphic Testing Techniques

  • A Template-Based Approach for Describing Metamorphic Relations (slides), Sergio Segura, Amador Durán, Javier Troya and Antonio Ruiz-Cortés, Discussant: Eun-Hye Choi
  • Harnessing Multiple Source Test Cases in Metamorphic Testing: A Case Study in Bioinformatics (slides), Joshua Tang, Andrian Yang,T.Y Chen, and W.K. Ho, Discussant: Junhua Ding
  • A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair (slides), Mingyue Jiang, T.Y. Chen, F-C Kuo, Zuohua Ding, Eun-Hye Choi, and Osamu Mizuno, Discussant: Adam Porter

12:30 - 14:00: Lunch Break

14:00 - 15:30: Session 3: Metamorphic Testing Applications

  • Metamorphic Testing for Adobe Data Analytics Software (slides), Darryl Jarman, Zhi Quan Zhou, and T.Y. Chen Discussant: Sergio Segura
  • Validating a Deep Learning Framework by Metamorphic Testing (slides), Junhua Ding, Xiaojun Kang and Xin-Hua Hu Discussant: Tsong Chen
  • Metamorphic Model-based Testing of Autonomous Systems (slides), Mikael Lindvall, Adam Porter, Gudjon Magnusson and Chistoph Schulze, Discussant: Darryl Jarman

15:30 - 16:00: Cofee Break

16:00 - 17:30: Tutorial/Panel on "Metamorphic Testing: Beyond Academic Use"