Luciano Baresi, Michal Young  Home/Search
Context Related
| uoregon.edu/~michal/pubs/oracles.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uoregon.edu/~michal/pub...oracles (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: All software testing methods depend on the availability of an oracle, that is, some method for checking whether the system under test has behaved correctly on a particular execution. An ideal oracle would provide an unerring pass/fail judgment for any possible program execution, judged against a natural specification of intended behavior. Practical approaches must make compromises to balance trade-offs and provide useful capabilities. This report surveys proposed approaches to the oracle... (Update)
Cited by: More
Model-Based Monitoring of Component-Based Software - Systems Ir Ene (Correct)
Active bibliography (related documents): More All
0.5: Partition Testing versus Random Testing: the Influence of.. - Gutjahr (Correct)
0.4: Translating Object-Z Specifications to Passive Test Oracles - McDonald (1998) (Correct)
0.4: A Runtime Assertion Checker for the Java Modeling Language - Cheon (2003) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.3: Modeling and Validation of Service-Oriented.. - Baresi, Heckel.. (2003) (Correct)
0.3: Style-Based Refinement of Dynamic Software Architectures - Baresi, Heckel, Thöne, Varro (2004) (Correct)
0.3: Generating On-Line Test Oracles from Temporal Logic.. - Håkansson, Jonsson.. (Correct)
BibTeX entry: (Update)
L. Baresi and M. Young, `Test oracles', Technical Report CIS-TR01 -02, Dept. of Computer and Information Science, Univ. of Oregon, http://cs.uoregon.edu/ michal/pubs/oracles.html, (2001). http://citeseer.ist.psu.edu/baresi01test.html More
@misc{ baresi01test,
author = "L. Baresi and M. Young",
title = "Test oracles",
text = "L. Baresi and M. Young, `Test oracles', Technical Report CIS-TR01 -02,
Dept. of Computer and Information Science, Univ. of Oregon, http://cs.uoregon.edu/
michal/pubs/oracles.html, (2001).",
year = "2001",
url = "citeseer.ist.psu.edu/baresi01test.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1997
1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
375 IEEE Transactions on Software Engineering (context) - Holzmann, checker - 1997
176 a decision method in restricted second order arithmetic (context) - Buchi
142 Simple on-the-fly automatic verification of linear temporal .. - Gerth, Peled et al. - 1995
72 ACM Transactions on Programming Languages and Systems (context) - Gannon, McMullin et al. - 1981
68 Object-Oriented Series (context) - Meyer, The - 1992
64 The Larch Family of Specification Languages (context) - Guttag, Horning et al. - 1985
61 Test Selection Based on Finite State Models - Fujiwara, Bochmann et al. - 1991
56 STL Tutorial and Reference Guide: C++ Programming with the S.. (context) - Musser, Saini - 1996
56 Testing Programs with the Aid of a Compiler (context) - Hamlet - 1977
53 An object-oriented extension to Z (context) - Carrington, Duke et al. - 1989
51 iContract -- The Java Design by Contract Tool (context) - Kramer - 1998
44 Abstract data types and the development of data structures (context) - Guttag - 1977
44 IEEE Transactions on Software Engineering (context) - Parnas, for - 1993
43 A Graphical Interval Logic for Specifying Concurrent Systems - Dillon, Kutty et al. - 1994
41 Oracles for Checking Temporal Properties of Concurrent Syste.. - Dillon, Yu - 1994
40 a Specification Language for Ada (context) - Luckham, von Henke et al. - 1985
39 Programming with Specifications: An Introduction to ANNA (context) - Luckham - 1990
33 Using Test Oracles Generated from Program Documentation - Peters, Parnas - 1998
32 Using Model Checking to Generate Tests from Requirements Spe.. - Gargantini, Heitmeyer - 1999
27 Precise Documentation of WellStructured Programs (context) - Parnas, Madey et al. - 1994
25 Automatically Checking an Implementation against Its Formal .. - Antoy, Hamlet - 2000
24 Generating Oracles from Your Favorite Temporal Logic Specifi.. - Dillon, Ramakrishna - 1996
24 Anna - A Language for Annotating Ada Programs (context) - Luckham, von Henke et al. - 1987
21 Adding Contracts to Java with Handshake - Duncan, Hlzle - 1998
20 jContractor: Reflective Java Library to Support Design-by-Co.. - Karaorman, Hlzle et al. - 1998
15 for Automatic Test Result Evaluation (context) - Mikk, into - 1995
14 Selecting Test Sequences for Partially-Specified Nondetermin.. - Luo, Petrenko et al. - 1993
14 Rapid application of lightweight formal methods for consiste.. (context) - Feather - 1998
13 An introduction to proving the correctness of programs (context) - Hantler, King - 1976
11 A Run-time Assertion Checker for Java using JML - Bhorkar - 2000
10 Testing using log file analysis: Tools (context) - Andrews - 1998
8 specifications to passive test oracles (context) - McDonald, Strooper - 1998
7 A Program Testing Assistant (context) - Chapman - 1982
7 Automatic Software Test Drivers (context) - Panzl - 1978
7 California Institute of Technology (context) - Kiniry, Cheong et al. - 1998
5 specifications to object-oriented test oracles (context) - McDonald, Murray et al. - 1997
5 Automated test oracles for GUIs (context) - Memon, Pollack et al. - 2000
5 Automatic generation of test oracles --- from pilot studies .. - Feather, Smith - 2001
4 United States Naval Research Laboratory (context) - Heninger, Kallander et al. - 1978
4 and Orna Grumberg (context) - Clarke, Peled - 2000
4 The Assertion Based Testing Tool for OOP: ADL (context) - Obayashi, Kubota et al. - 1998
2 A test oracle based on formal specifications (context) - Day, Gannon - 1985
1 The Design and Implementation of a Family of ApplicationOrie.. (context) - Basili - 1976
1 ADL language reference manual (context) - Microsystems - 1993
1 GNU Nana -- User's Guide (context) - Maker - 1998
http://www.mmsindia.com/
http://www.hio.hen.nl/java/corejava/
http://www.eiffel.com
http://adl.xopen.org/future/
http://www.junit.org
http://java.sun.com/aboutJava/communityprocess/
http://semantik.informatik.uni-oldenburg
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC