@inproceedings{2ff2df96163d4309a3c7235e83a6a4d9,
title = "Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing",
abstract = "We present a semi-proving method for verifying necessary conditions for program correctness. Our approach is based on the integration of global symbolic evaluation and metamorphic testing. It is relatively easier than conventional program proving, and helps to alleviate the problem that software testing cannot show the absence of faults.",
keywords = "Global symbolic evaluation, Metamorphic testing, Program proving, Program testing, Semi-proving, Symbolic execution",
author = "Chen, \{T. Y.\} and Tse, \{T. H.\} and Zhiquan Zhou",
year = "2002",
language = "English",
isbn = "1581135629",
series = "Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis",
publisher = "Association for Computing Machinery (ACM)",
pages = "191--195",
editor = "P.G. Frankl",
booktitle = "Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis",
address = "United States",
note = "ISSTA 02 Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis ; Conference date: 22-07-2002 Through 24-07-2002",
}