File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing

TitleSemi-proving: An integrated method based on global symbolic evaluation and metamorphic testing
Authors
Chen, TYTse, THZhou, Z
KeywordsGlobal symbolic evaluation
Metamorphic testing
Program proving
Program testing
Semi-proving
Symbolic execution
Issue Date2002
Citation
Proceedings Of The Acm Sigsoft 2002 International Symposium On Software Testing And Analysis, 2002, p. 191-195 How to Cite?
AbstractWe 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.
Persistent Identifierhttp://hdl.handle.net/10722/93090
References
References in Scopus

 

DC FieldValueLanguage
dc.contributor.authorChen, TYen_HK
dc.contributor.authorTse, THen_HK
dc.contributor.authorZhou, Zen_HK
dc.date.accessioned2010-09-25T14:50:35Z-
dc.date.available2010-09-25T14:50:35Z-
dc.date.issued2002en_HK
dc.identifier.citationProceedings Of The Acm Sigsoft 2002 International Symposium On Software Testing And Analysis, 2002, p. 191-195en_HK
dc.identifier.urihttp://hdl.handle.net/10722/93090-
dc.description.abstractWe 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.en_HK
dc.languageengen_HK
dc.relation.ispartofProceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysisen_HK
dc.subjectGlobal symbolic evaluationen_HK
dc.subjectMetamorphic testingen_HK
dc.subjectProgram provingen_HK
dc.subjectProgram testingen_HK
dc.subjectSemi-provingen_HK
dc.subjectSymbolic executionen_HK
dc.titleSemi-proving: An integrated method based on global symbolic evaluation and metamorphic testingen_HK
dc.typeConference_Paperen_HK
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturelink_to_subscribed_fulltext-
dc.identifier.scopuseid_2-s2.0-0036983282en_HK
dc.identifier.hkuros74938en_HK
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-0036983282&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.spage191en_HK
dc.identifier.epage195en_HK
dc.identifier.scopusauthoridChen, TY=13104290200en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.scopusauthoridZhou, Z=15924687500en_HK

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats