… 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 …

… 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. …

… 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 …

… 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 …

… 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 …

… 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 …

… 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 …

… 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, …

… 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 …

… 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 …