File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Metamorphic testing and beyond

TitleMetamorphic testing and beyond
Authors
Chen, TYKuo, FCTse, THZhou, ZQ
KeywordsFollow-up test cases
metamorphic testing
semi-proving
successful test case
test case selection strategy
Issue Date2004
PublisherIEEE Computer Society.
Citation
The 11th International Workshop on Software Technology and Engineering Practice Proceedings, Amsterdam, The Netherlands, 19-21 September 2003, p. 94-100 How to Cite?
DOI: http://dx.doi.org/10.1109/STEP.2003.18
AbstractWhen 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.
Persistent Identifierhttp://hdl.handle.net/10722/48431
ISSN
1521-852X

 

DC FieldValueLanguage
dc.contributor.authorChen, TYen_HK
dc.contributor.authorKuo, FCen_HK
dc.contributor.authorTse, THen_HK
dc.contributor.authorZhou, ZQen_HK
dc.date.accessioned2008-05-22T04:12:51Z-
dc.date.available2008-05-22T04:12:51Z-
dc.date.issued2004en_HK
dc.identifier.citationThe 11th International Workshop on Software Technology and Engineering Practice Proceedings, Amsterdam, The Netherlands, 19-21 September 2003, p. 94-100en_HK
dc.identifier.issn1521-852Xen_HK
dc.identifier.urihttp://hdl.handle.net/10722/48431-
dc.description.abstractWhen 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.en_HK
dc.format.extent256001 bytes-
dc.format.extent783 bytes-
dc.format.extent783 bytes-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypetext/plain-
dc.format.mimetypetext/plain-
dc.languageengen_HK
dc.publisherIEEE Computer Society.en_HK
dc.relation.ispartofInternational Workshop on Software Technology and Engineering Practice Proceedings-
dc.rights©2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.-
dc.subjectFollow-up test casesen_HK
dc.subjectmetamorphic testingen_HK
dc.subjectsemi-provingen_HK
dc.subjectsuccessful test caseen_HK
dc.subjecttest case selection strategyen_HK
dc.titleMetamorphic testing and beyonden_HK
dc.typeConference_Paperen_HK
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&issn=1521-852X&volume=&spage=94&epage=100&date=2004&atitle=Metamorphic+testing+and+beyonden_HK
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.description.naturepublished_or_final_versionen_HK
dc.identifier.doi10.1109/STEP.2003.18en_HK
dc.identifier.scopuseid_2-s2.0-68049094297-
dc.identifier.hkuros101497-
dc.identifier.issnl1521-852X-

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats