Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing
conference contribution
posted on 2024-07-26, 14:40 authored by Tsong ChenTsong Chen, T. H. Tse, Zhiquan ZhouWe 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.
History
Available versions
PDF (Accepted manuscript)Publisher DOI
ISBN
1581135629ISSN
0163-5948Journal title
Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and AnalysisConference name
The ACM SIGSOFT 2002 International Symposium on Software Testing and AnalysisVolume
27Issue
4Pagination
4 ppPublisher
ACMCopyright statement
Copyright © 2002 ACM. This the accepted manuscript of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of ISSTA '02 (2002.) http://doi.acm.org/10.1145/566171.566202.Language
engUsage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC