Test Oracles Using Statistical Methods

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-58, Issue , 2004, Pages 179-189

  Mayer, Johannes ^a   Guderlei, Ralph ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC METHODS; STATISTICAL TESTS; STATISTICS;

EXPLICIT FORMULA; IMAGE-ANALYSIS; ORACLE PROBLEM; RANDOM TESTING; TEST ORACLES;

SOFTWARE TESTING;

EID: 85111125265     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. [Ag78] Agrawal, V. D.: When to Use Random Testing. IEEE Transactions on Computers 27 (1978) 1054–1055
2. [Bi00] Binder, R. V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, 2000.
3. [CB02] Casella, G., Berger, R. L.: Statistical Inference. Wadsworth Group, Duxbury, CA, USA, 2002.
4. [DN84] Duran, J. W., Ntafos, S. C.: An Evaluation of Random Testing. IEEE Transactions on Software Engineering 10 (1984) 438–444
5. [Fr98] Frankl, P. G., Hamlet, R. G., Littlewood, B., Strigini, L.: Evaluating Testing Methods by Delivered Reliability. IEEE Transactions on Software Engineering 24 (1998) 586–601
6. [Fr99] Frankl, P. G., Hamlet, R. G., Littlewood, B., Strigini, L.: Correction to: Evaluating Testing Methods by Delivered Reliability. IEEE Transactions on Software Engineering 25 (1999) 286
7. [Ha94] Hamlet, R. G.: Random testing. In: Marciniac, J. J. (ed.), Encyclopaedia of Software Engineering, John Wiley & Sons, 1994.
8. [HT90] Hamlet, R. G., Taylor, R.: Partition Testing Does Not Inspire Confidence. IEEE Transactions on Software Engineering 16 (1990) 1402–1411
9. [Ho01] Hoffman, D.: Using Oracles in Test Automation. In: Proceedings of the Nineteenth Annual Pacific Northwest Software Quality Conference (PNSQC), Portland, Oregon, USA (2001) 90–117
10. [Ho99] Hoffman, D.: Heuristic Test Oracles. Software Testing & Quality Engineering 1 (1999) 29–32
11. [Ja89] Jalote, P.: Testing the Completeness of Specifications. IEEE Transactions on Software Engineering 15 (1989) 526–531
12. [Ja92] Jalote, P.: Specification and Testing of Abstract Data Types. Computer Language 17 (1992) 75–82
13. [KSS04] Klenk, S., Schmidt, V., Spodarev, E.: A New Algorithmic Approach to the Computation of Minkowski Functionals for Polyconvex sets. Preprint, University of Ulm, 2004. (submitted)
14. [MSS04] Mayer, J., Schmidt, V., Schweiggert, F.: A Unified Simulation Framework for Spatial Stochastic Models. Simulation Modelling Practice and Theory 12 (2004) 307–326
15. [Mo97] Molchanov, I.: Statistics of the Boolean Model for Practioners and Mathematicians. John Wiley & Sons, Chichester, 1997.
16. [SS04] Schmidt, V., Spodarev, E.: Joint Estimators for the Specific Intrinsic Volumes of Random Sets. Stochstic Processes and their Applications (to appear)
17. [Sc79] Schneck, P. B.: Comment on “When to Use Random Testing”. IEEE Transactions on Computers 28 (1979) 580–581
18. [We82] Weyuker, E. J.: On Testing Non-Testable Programs. Computer Journal 25 (1982) 465–470