Testing permanent oracles–revisited
S Arora, A Bhattacharyya, R Manokaran… - International Workshop …, 2012 - Springer
… are given an oracle that claims to approximate the permanent for … Can we test that the oracle
satisfies this claim? This paper … We test this by simply querying the oracles for random X and …
satisfies this claim? This paper … We test this by simply querying the oracles for random X and …
[BOOK][B] Metamorphic testing techniques to detect defects in applications without test oracles
C Murphy - 2010 - search.proquest.com
… Testing. Additionally, this thesis presents guidelines for identifying metamorphic properties,
explains how metamorphic testing … who need to test software without the help of a test oracle. …
explains how metamorphic testing … who need to test software without the help of a test oracle. …
An empirical validation of oracle improvement
… testing [7], [8], [9], [10], [11], [12]. Without a (good) oracle to determine whether the test output
is correct, test inputs that satisfy the strictest adequacy criteria remain useless and testing is …
is correct, test inputs that satisfy the strictest adequacy criteria remain useless and testing is …
More testable properties
… and their corresponding test oracle. Furthermore, we address automatic test generation for
… ] to also deal with finite-length execution sequences by revisiting it using r-properties. In this …
… ] to also deal with finite-length execution sequences by revisiting it using r-properties. In this …
Automated steering of model-based test oracles to admit real program behaviors
G Gay, S Rayadurgam… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
… We will revisit this when examining the results for the Pacing system. The recall also dips
significantly. Inspecting Table 11 makes the reason for this clear, when given more freedom to …
significantly. Inspecting Table 11 makes the reason for this clear, when given more freedom to …
Computing maximal autarkies with few and simple oracle queries
O Kullmann, J Marques-Silva - … and Applications of Satisfiability Testing, 2015 - Springer
… as oracles here, and we are especially concerned with minimising the number of oracle
calls… A central concept is, what in this paper we call an extended SAT oracle O01, which for a …
calls… A central concept is, what in this paper we call an extended SAT oracle O01, which for a …
An introduction to oracles for asynchronous distributed systems
A Mostefaoui, E Mourgaya, M Raynal - Future Generation Computer …, 2002 - Elsevier
… It is important to note that, as soon as the test at line 7 remains permanently false for all j,
then p i stops sending messages (but does not necessarily terminate as it can keep on …
then p i stops sending messages (but does not necessarily terminate as it can keep on …
[BOOK][B] The CIO's Guide to Oracle Products and Solutions
J Keyes - 2014 - api.taylorfrancis.com
… In doing the research for this book, I reviewed many articles written by Oracle experts inside
and … We cover the very heart of the Oracle products set. This includes Oracle analytics, …
and … We cover the very heart of the Oracle products set. This includes Oracle analytics, …
Oracles
P Larson - Encyclopedia of Psychology and Religion, 2020 - Springer
… He derived his theory from the Oedipus myth revealed in the oracles of ancient Greece. The
tragic story of Oedipus Rex (Oedipus the King) has been told many times through the ages …
tragic story of Oedipus Rex (Oedipus the King) has been told many times through the ages …
Revisiting post-quantum fiat-shamir
… In this work, we revisit Fiat-Shamir, showing that in many cases Fiat-Shamir can be … longer
testing whether a is in the database. If we do not need such a test, we can switch the oracle at …
testing whether a is in the database. If we do not need such a test, we can switch the oracle at …