Automatic generation of cost-effective test oracles

36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings

Volumn , Issue , 2014, Pages 678-681

  Goffi, Alberto ^a  

^a UNIVERSITY OF LUGANO   (Switzerland)

Author keywords

Cross checking oracles; Intrinsic redundancy; Software testing

Indexed keywords

COST EFFECTIVENESS; REDUNDANCY; SOFTWARE ENGINEERING;

AUTOMATED TECHNIQUES; AUTOMATIC GENERATION; CROSS-CHECKING ORACLES; EXECUTION SEQUENCES; QUALITY OF SOFTWARES; RECENT RESEARCHES; SOFTWARE SYSTEMS; TEST ORACLES;

SOFTWARE TESTING;

EID: 84903642713     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2591062.2591078     Document Type: Conference Paper

References (20)

1. A. Avizienis. The N-Version Approach to Fault-Tolerant Software. IEEE Transactions on Software Engineering, 11(12), 1985.
2. L. Baresi and M. Young. Test Oracles. Technical report, University of Oregon, 2001.
3. A. Bertolino. Software Testing Research: Achievements, Challenges, Dreams. In 2007 Future of Software Engineering, 2007.
4. A. Carzaniga, A. Gó, A. Gorla, A. Mattavelli, and M. Pezzé. Cross-Checking Oracles From Intrinsic Software Redundancy. In Proc. of the 36th International Conference on Software Engineering, 2014.
5. A. Carzaniga, A. Gorla, A. Mattavelli, M. Pezzé, and N. Perino. Automatic Recovery from Runtime Failures. In Proc. of the 35th International Conference on Software Engineering, 2013.
6. A. Carzaniga, A. Gorla, N. Perino, and M. Pezzé. Automatic Workarounds for Web Applications. In Proc. of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010.
7. R.-K. Doong and P. G. Frankl. The ASTOOT Approach to Testing Object-Oriented Programs. ACM Trans. on Soft. Engineering and Methodology, 3, 1994.
8. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly Detecting Relevant Program Invariants. In Proc. of the 22nd International Conference on Software Engineering, 2000.
9. G. Fraser and A. Arcuri. EvoSuite: Automatic Test Suite Generation for Object-Oriented Software. In Proc. of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, 2011.
10. A. Gotlieb. Exploiting Symmetries to Test Programs. In Proc. of the 14th International Symposium on Software Reliability Engineering, 2003.
11. M. Harman, P. McMinn, M. Shahbaz, and S. Yoo. A Comprehensive Survey of Trends in Oracles for Software Testing. Technical report, University of Shefield, Rep. CS-13-01, 2013.
12. M. Hennessy and R. Milner. On Observing Nondeterminism and Concurrency. In Automata, Languages and Programming, volume 85 of Lecture Notes in Computer Science. Springer Berlin, 1980.
13. R. Just, F. Schweiggert, and G. M. Kapfhammer. MAJOR: An Effcient and Extensible Tool for Mutation Analysis in a Java Compiler. In Proc. of the 26th International Conference on Automated Software Engineering, 2011.
14. L. Mariani, S. Papagiannakis, and M. Pezzé. Compatibility and Regression Testing of COTS component-based Software. In Proc. of the 29th Intl. Conference on Software Engineering, 2007.
15. C. Pacheco and M. D. Ernst. Eclat: Automatic Generation and Classification of Test Inputs. In Proc. of the 19th European Conference on Object-Oriented Programming, 2005.
16. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedback-Directed Random Test Generation. In Proc. of the 29th International Conference on Software Engineering, 2007.
17. M. Pezzé and M. Young. Software Testing and Analysis: Process, Principles and Techniques. John Wiley and Sons, 2008.
18. B. Randell. System Structure for Software Fault Tolerance. SIGPLAN Notes, 10(6), 1975.
19. E. J. Weyuker. On Testing Non-Testable Programs. The Computer Journal, 25(4), 1982.
20. Z. Q. Zhou, D. H. Huang, T. H. Tse, Z. Yang, H. Huang, and T. Y. Chen. Metamorphic Testing and its Applications. In Proc. of the 8th International Symposium on Future Software Technology, 2004.