MET '16- Proceedings of the 1st International Workshop on Metamorphic Testing

Full Citation in the ACM Digital Library

SESSION: Tools

Looking for an MR?: try METWiki today

• Xiaoyuan Xie
• Jiahao Li
• Chen Wang
• Tsong Yueh Chen

SESSION: Source test cases, metamorphic relations

The impact of source test case selection on the effectiveness of metamorphic testing

• Arlinta Christy Barus
• Tsong Yueh Chen
• Fei-Ching Kuo
• Huai Liu
• Heinz W. Schmidt

μMT: a data mutation directed metamorphic relation acquisition methodology

• Chang-ai Sun
• Yiqiang Liu
• Zuoyi Wang
• W. K. Chan

Generating source inputs for metamorphic testing using dynamic symbolic execution

• Eman Alatawi
• Tim Miller
• Harald Søndergaard

SESSION: Integration with other techniques

Agile metamorphic model-based testing

• Mikael Lindvall
• Dharmalingam Ganesan
• Sigurthor Bjorgvinsson
• Kristjan Jonsson
• Haukur Steinn Logason
• Frederik Dietrich
• Robert E. Wiegand

SESSION: Applications

A cloud-based framework for applying metamorphic testing to a bioinformatics pipeline

• Michael Troup
• Andrian Yang
• Amir Hossein Kamali
• Eleni Giannoulatou
• Tsong Yueh Chen
• Joshua W. K. Ho

An application of metamorphic testing for testing scientific software

• Junhua Ding
• Dongmei Zhang
• Xin-Hua Hu

Metamorphic testing for (graphics) compilers

• Alastair F. Donaldson
• Andrei Lascu