@inproceedings{110b4533c9a3468790be299987a8a6f1,
title = "Metamorphic testing and beyond",
abstract = "When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-up test cases to check important properties of the target function. It does not need a human oracle for output prediction and comparison. In this paper, we highlight the basic concepts of metamorphic testing and some interesting extensions in the areas of program testing, proving, and debugging. Future research directions are also proposed.",
keywords = "Arithmetic, Australia Council, Computer science, Cryptography, Debugging, Humans, Information systems, Information technology, Software testing, System testing",
author = "Chen, \{T. Y.\} and Kuo, \{F. C.\} and Tse, \{T. H.\} and Zhou, \{Zhi Quan\}",
note = "Publisher Copyright: {\textcopyright} 2004 IEEE.; 11th Annual International Workshop on Software Technology and Engineering Practice, STEP 2003 ; Conference date: 19-09-2003 Through 21-09-2003",
year = "2004",
doi = "10.1109/STEP.2003.18",
language = "English",
series = "Proceedings - 11th Annual International Workshop on Software Technology and Engineering Practice, STEP 2003",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "94--100",
editor = "Liam O'Brien and Nicolas Gold and Kostas Kontogiannis",
booktitle = "Proceedings - 11th Annual International Workshop on Software Technology and Engineering Practice, STEP 2003",
address = "United States",
}