Program - May 16, 2016

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

8:45 - 9:00: Workshop Opening

9:00 - 10:00: Keynote by Prof. T.Y. Chen

10:00 - 10:30: Session 1: Tools, Chair: Laura Pullum

  • Looking for an MR? Try METWiki today, Xiaoyuan Xie, Jiahao Li, Chen Wang and Tsong Yueh Chen (Short paper), Discussant: Alastair Donaldson

10:30 - 11:00: Coffee Break

11:00 - 12: 30: Session 2: Source test cases, metamorphic relations, Chair: Dave Towey

  • The Impact of Source Test Case Selection on the Effectiveness of Metamorphic Testing, Arlinta Christy Barus, Tsong Yueh Chen, Fei Ching Kuo, Huai Liu and Heinz Schmidt (Long paper, presentation), Discussant: Mikael Lindvall
  • μ_MT: A Data Mutation Directed Metamorphic Relation Acquisition Methodology, Chang-Ai Sun, Yiqiang Liu, Zuoyi Wang and W.K. Chan (Long paper, presentation), Discussant: Joshua Ho
  • Generating Source Inputs for Metamorphic Testing Using Dynamic Symbolic Execution , Eman Alatawi, Tim Miller and Harald Sondergaard (Long paper, presentation), Discussant: Junhua Ding

12:30 - 14:00: Lunch Break

14:00 - 15:00: Panel on Identification of Metamorphic Relations (Panel Introduction)

15:00 - 15:30: Session 3: Integration with other techniques, Chair: Sergio Segura

  • Agile Metamorphic Model-based Testing, Mikael Lindvall, Dharmalingam Ganesan, Sigurthor Bjorgvinsson, Kristjan Jonsson, Haukur Steinn Logason, Frederik Dietrich and Robert Wiegand (Long paper), Discussant: Xiaoyuan Xie

15:30 - 16:00: Coffee Break

16:00 - 17:30: Session 4: Applications, Chair: George Zhou

  • A cloud-based framework for applying metamorphic testing to A bioinformatics pipeline, Michael Troup, Andrian Yang, Amir Hossein Kamali, Eleni Giannoulatou, Tsong Yueh Chen and Joshua Ho. (Short paper, presentation), Discussant: Huai Liu
  • An Application of Metamorphic Testing for Testing Scientific Software, Junhua Ding, Donemei Zhang and Xin-Hua Hu (Long paper, presentation)
  • Metamorphic Testing for (Graphics) Compilers, Alastair Donaldson and Andrei Lascu (Short paper, presentation), Discussant: Harald Sondergaard