File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Article: Fault-based testing without the need of oracles

TitleFault-based testing without the need of oracles
Authors
Chen, TYTse, THZhou, ZQ
KeywordsFault-based testing
Metamorphic testing
Oracle problem
Symbolic execution
Issue Date2003
PublisherElsevier BV. The Journal's web site is located at http://www.elsevier.com/locate/infsof
Citation
Information And Software Technology, 2003, v. 45 n. 1, p. 1-9 How to Cite?
DOI: http://dx.doi.org/10.1016/S0950-5849(02)00129-5
AbstractThere are two fundamental limitations in software testing, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs. © 2002 Elsevier Science B.V. All rights reserved.
DescriptionA preliminary version of this paper was presented at the 25th Annual International Computer Software and Applications Conference (COMPSAC 2001).
SponsorshipThis research is supported in part by the Hong Kong Research Grants Council and the University of Hong Kong Committee on Research and Conference Grants.
Persistent Identifierhttp://hdl.handle.net/10722/55518
ISSN
0950-5849
2021 Impact Factor: 3.862
2020 SCImago Journal Rankings: 0.606
ISI Accession Number ID
WOS:000180295500002
References
References in Scopus

 

DC FieldValueLanguage
dc.contributor.authorChen, TYen_HK
dc.contributor.authorTse, THen_HK
dc.contributor.authorZhou, ZQen_HK
dc.date.accessioned2009-08-13T07:56:31Z-
dc.date.available2009-08-13T07:56:31Z-
dc.date.issued2003en_HK
dc.identifier.citationInformation And Software Technology, 2003, v. 45 n. 1, p. 1-9en_HK
dc.identifier.issn0950-5849en_HK
dc.identifier.urihttp://hdl.handle.net/10722/55518-
dc.descriptionA preliminary version of this paper was presented at the 25th Annual International Computer Software and Applications Conference (COMPSAC 2001).en
dc.description.abstractThere are two fundamental limitations in software testing, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs. © 2002 Elsevier Science B.V. All rights reserved.en_HK
dc.description.sponsorshipThis research is supported in part by the Hong Kong Research Grants Council and the University of Hong Kong Committee on Research and Conference Grants.en
dc.language.isoengen
dc.publisherElsevier BV. The Journal's web site is located at http://www.elsevier.com/locate/infsofen_HK
dc.relation.ispartofInformation and Software Technologyen_HK
dc.rightsThis work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.-
dc.rightsCopyright 2002 Elsevier Science B.V. All rights reserved.-
dc.subjectFault-based testingen_HK
dc.subjectMetamorphic testingen_HK
dc.subjectOracle problemen_HK
dc.subjectSymbolic executionen_HK
dc.titleFault-based testing without the need of oraclesen_HK
dc.typeArticleen_HK
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&issn=0950-5849&volume=45&issue=1&spage=1&epage=9&date=2003&atitle=Fault-Based+Testing+Without+the+Need+of+Oracles-
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepreprinten_HK
dc.identifier.doi10.1016/S0950-5849(02)00129-5en_HK
dc.identifier.scopuseid_2-s2.0-0037218713en_HK
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-0037218713&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.volume45en_HK
dc.identifier.issue1en_HK
dc.identifier.spage1en_HK
dc.identifier.epage9en_HK
dc.identifier.isiWOS:000180295500002-
dc.publisher.placeNetherlandsen_HK
dc.identifier.scopusauthoridChen, TY=13104290200en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.scopusauthoridZhou, ZQ=15924687500en_HK
dc.identifier.issnl0950-5849-

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats