As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
In the testing process humans examine the behavior of an application under test to determine what would constitute a failure. By specifying—for a given input and result—whether or not this combination leads to desired behavior, they essentially constitute to what is called the test oracle. To automate oracle generation, techniques were introduced to derive the oracle from models, specification, or by reusing artifacts. In the end, to complete the oracle, a human must be involved. Automated Test Case Generation (ATCG) on the other hand, already derives all feasible test cases from the program itself - baring judgment about which cases correspond to faults. This paper introduces a tool that derives the oracle by using ATCG as input for a human oracle. By combining ATCG with human oracles, we aim to reduce costs associated with the testing process.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.