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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
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
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
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
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
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
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
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
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
|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
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?