Search-based inference of polynomial metamorphic relations

Jie Zhang, Junjie Chen, Dan Hao, Yingfei Xiong, Bing Xie, Lu Zhang, Hong Mei

Abstract

Metamorphic testing (MT) is an effective methodology for testing those so-called ``non-testable'' programs (e.g., scientific programs), where it is sometimes very difficult for testers to know whether the outputs are correct. In metamorphic testing, metamorphic relations (MRs) (which specify how particular changes to the input of the program under test would change the output) play an essential role. However, testers may typically have to obtain MRs manually.

BibTeX

@inproceedings{Zhang-al:ASE14,
  author    = {Jie Zhang and
               Junjie Chen and
               Dan Hao and
               Yingfei Xiong and
               Bing Xie and
               Lu Zhang and
               Hong Mei},
  title     = {Search-based inference of polynomial metamorphic relations},
  booktitle = {ASE},
  pages     = {701--712},
  publisher = {{ACM}},
  year      = {2014},
}

Search-based inference of polynomial metamorphic relations

Abstract

Related papers