FAQ

Oracle (software testing)

Known as: Oracle (disambiguation), Oracle (testing), Test Oracle 
In computing, software testers and software engineers can use an oracle as a mechanism for determining whether a test has passed or failed. The use… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1992-2018
010203019922018

Related topics

Related topics

13 relations
AlgorithmAutomatic bug fixingBlack-box testingMetamorphic testing
(More)

Broader (1)

Software testing

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Oracle (software testing)
Algorithm
Test case
Software documentation
Software testing
Test automation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
A Survey on Metamorphic Testing
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the expected… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Review
2015
Review
2015
The Oracle Problem in Software Testing: A Survey
Testing involves examining the behaviour of a system in order to discover potential faults. Given an input for a system, the… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2014
2014
How Effectively Does Metamorphic Testing Alleviate the Oracle Problem?
In software testing, something which can verify the correctness of test case execution results is called an oracle. The oracle… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Programs, tests, and oracles: the foundations of testing revisited
In previous decades, researchers have explored the formal foundations of program testing. By exploring the foundations of testing… (More)
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Designing and comparing automated test oracles for GUI-based software applications
Test designers widely believe that the overall effectiveness and cost of software testing depends largely on the type and number… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
2003
Highly Cited
2003
What Test Oracle Should I Use for Effective GUI Testing?
Test designers widely believe that the overall effectiveness and cost of software testing depends largely on the type and number… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Korat: automated testing based on Java predicates
This paper presents Korat, a novel framework for automated testing of Java programs. Given a formal specification for a method… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 8
  • figure 10
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Automated test oracles for GUIs
Graphical User Interfaces (GUIs) are critical components of today's software. Because GUIs have different characteristics than… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Using Test Oracles Generated from Program Documentation
|This paper illustrates how software can be described precisely using LD-relations, how these descriptions can be presented in a… (More)
Is this relevant?
1998
1998
Software Testing Using Algebraic Specification Based Test Oracles
In TAV4, the rst author presented a paper describing an algorithm to perform run-time consistency checking of abstract data types… (More)
  • figure 1
Is this relevant?