File Download
There are no files associated with this item.
Supplementary
-
Citations:
- Scopus: 0
- Appears in Collections:
Conference Paper: Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing
Title | Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing |
---|---|
Authors | |
Keywords | Global symbolic evaluation Metamorphic testing Program proving Program testing Semi-proving Symbolic execution |
Issue Date | 2002 |
Citation | Proceedings Of The Acm Sigsoft 2002 International Symposium On Software Testing And Analysis, 2002, p. 191-195 How to Cite? |
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. |
Persistent Identifier | http://hdl.handle.net/10722/93090 |
References |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Chen, TY | en_HK |
dc.contributor.author | Tse, TH | en_HK |
dc.contributor.author | Zhou, Z | en_HK |
dc.date.accessioned | 2010-09-25T14:50:35Z | - |
dc.date.available | 2010-09-25T14:50:35Z | - |
dc.date.issued | 2002 | en_HK |
dc.identifier.citation | Proceedings Of The Acm Sigsoft 2002 International Symposium On Software Testing And Analysis, 2002, p. 191-195 | en_HK |
dc.identifier.uri | http://hdl.handle.net/10722/93090 | - |
dc.description.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. | en_HK |
dc.language | eng | en_HK |
dc.relation.ispartof | Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis | en_HK |
dc.subject | Global symbolic evaluation | en_HK |
dc.subject | Metamorphic testing | en_HK |
dc.subject | Program proving | en_HK |
dc.subject | Program testing | en_HK |
dc.subject | Semi-proving | en_HK |
dc.subject | Symbolic execution | en_HK |
dc.title | Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing | en_HK |
dc.type | Conference_Paper | en_HK |
dc.identifier.email | Tse, TH: thtse@cs.hku.hk | en_HK |
dc.identifier.authority | Tse, TH=rp00546 | en_HK |
dc.description.nature | link_to_subscribed_fulltext | - |
dc.identifier.scopus | eid_2-s2.0-0036983282 | en_HK |
dc.identifier.hkuros | 74938 | en_HK |
dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-0036983282&selection=ref&src=s&origin=recordpage | en_HK |
dc.identifier.spage | 191 | en_HK |
dc.identifier.epage | 195 | en_HK |
dc.identifier.scopusauthorid | Chen, TY=13104290200 | en_HK |
dc.identifier.scopusauthorid | Tse, TH=7005496974 | en_HK |
dc.identifier.scopusauthorid | Zhou, Z=15924687500 | en_HK |