Cited by 163Software Testing and Debugging TechniquesSoftware Engineering ResearchSoftware System Performance and Reliability

Metamorphic testing for software quality assessment: A study of search engines

Open access
Zhou, Zhi Quan, Xiang, Shaowen, Chen, Tsong Yueh·2016·IEEE Transactions on Software Engineering

Abstract

Metamorphic testing is a testing technique that can be used to verify the functional correctness of software in the absence of an ideal oracle. This paper extends metamorphic testing into a user-oriented approach to software verification, validation, and quality assessment, and conducts large scale empirical studies with four major web search engines: Google, Bing, Chinese Bing, and Baidu. These search engines are very difficult to test and assess using conventional approaches owing to the lack of an objective and generally recognized oracle. The results are useful for both search engine developers and users, and demonstrate that our approach can effectively alleviate the oracle problem and challenges surrounding a lack of specifications when verifying, validating, and evaluating large and complex software systems.

Integrity signals

Registry

Crossref · 10.1109/tse.2015.2478001

Cites

45 of 45 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Cites

Flagged first, then by citations

3 of the 48 references couldn’t be matched to a known paper.

Cited by

Sorted by citations

Authors
Zhou, Z. Q., Xiang, S., & Chen, T. Y.
Affiliations
  • University of Wollongong (AU)
  • Swinburne University of Technology (AU)
Venue
IEEE Transactions on Software Engineering
Published
2016-03-01
Volume
42
Issue
3
Pages
264-284
ISSN
  • 0098-5589 (ISSN-L)
  • 1939-3520
OpenAlex
W2293505944
Cited by
163
References
48
Citations by year
2026: 4 · 2025: 11 · 2024: 17 · 2023: 9 · 2022: 25 · 2021: 25 · 2020: 15 · 2019: 18 · 2018: 12 · 2017: 17 · 2016: 10
FWCI
54.68
Type
journal article
Language
en
Open access
Locations
  • IEEE Transactions on Software Engineering (publishedVersion)
  • Research Online (University of Wollongong) (submittedVersion)
  • Figshare (submittedVersion, cc-by)
  • Swinburne figshare (Swinburne University of Technology) (submittedVersion)
Funders
Australian Research Council (LP100200208)
Topics
  • Physical Sciences › Computer Science › Software › Software Testing and Debugging Techniques
  • Physical Sciences › Computer Science › Information Systems › Software Engineering Research
  • Physical Sciences › Computer Science › Computer Networks and Communications › Software System Performance and Reliability
Keywords
metamorphic testing, search engines, oracle problem, software quality assessment, software verification, software validation, functional correctness

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review