Dodona: Automated oracle data set selection

2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings

Volumn , Issue , 2014, Pages 193-203

  Loyola, Pablo ^a   Staats, Matt ^b   Ko, In Young ^c   Rothermel, Gregg ^d  

^a UNIVERSITY OF CHILE   (Chile)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^c Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^d UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

Empirical studies; Test generation; Test oracles

Indexed keywords

INPUT OUTPUT PROGRAMS; TESTING;

AUTOMATED SOFTWARE TESTING; EMPIRICAL STUDIES; PROGRAM EXECUTION; SOFTWARE COMPLEXITY; STATE-OF-THE-ART APPROACH; SYSTEM UNDER TEST; TEST GENERATIONS; TEST ORACLES;

SOFTWARE TESTING;

EID: 84929353960     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2610384.2610408     Document Type: Conference Paper

References (28)

1. Cobertura framework. Available at http://cobertura.github.io/cobertura/.
2. Jung framework. Available at http://jung.sourceforge.net/.
3. S. Anand, E. Burke, T. Y. Chen, J. Clark, M. B. Cohen, W. Grieskamp, M. Harman, M. J. Harrold, P. McMinn, A. Bertolino, et al. An orchestrated survey on automated software test case generation. Journal of Systems and Software, 2013.
4. J. H. Andrews, L. C. Briand, and Y. Labiche. Is mutation an appropriate tool for testing experiments? In Proceedings of the 27th International Conference on Software Engineering, pages 402-411, 2005.
5. L. Baresi and M. Young. Test oracles. Technical Report CISTR-01, 2, 2001.
6. C. Bird, N. Nagappan, B. Murphy, H. Gall, and P. Devanbu. Don't touch my code!: Examining the effects of ownership on software quality. In Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC/FSE '11, pages 4-14, New York, NY, USA, 2011. ACM.
7. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao. The daikon system for dynamic detection of likely invariants. Science of Computer Programming, 69(1):35-45, 2007.
8. G. Fraser, M. Staats, P. McMinn, A. Arcuri, and F. Padberg. Does automated white-box test generation really help software testers? In Proceedings of the 2013 International Symposium on Software Testing and Analysis, pages 188-198. ACM, 2013.
9. G. Fraser and A. Zeller. Mutation-driven generation of unit tests and oracles. IEEE Transactions on Software Engineering, 38(2):278-292, 2012.
10. L. C. Freeman. Centrality in social networks conceptual clarification. Social networks, 1(3):215-239, 1979.
11. M. Harman, P. McMinn, M. Shahbaz, and S. Yoo. A comprehensive survey of trends in oracles for software testing. Technical report, Technical Report Research Memoranda CS-13-01, Department of Computer Science, University of Sheffield, 2013.
12. R. Just, F. Schweiggert, and G. M. Kapfhammer. Major: An efficient and extensible tool for mutation analysis in a java compiler. In Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering, pages 612-615. IEEE Computer Society, 2011.
13. A. Memon, I. Banerjee, and A. Nagarajan. What test oracle should i use for effective gui testing? In Proceedings of the 18th IEEE International Conference on Automated Software Engineering, 2003., pages 164-173. IEEE, 2003.
14. A. M. Memon, M. E. Pollack, and M. L. Soffa. Automated test oracles for GUIs. SIGSOFT Software Engineering Notes, 25(6):30-39, Nov. 2000.
15. C. Pacheco and M. Ernst. Eclat: Automatic generation and classification of test inputs. ECOOP 2005-Object-Oriented Programming, pages 504-527, 2005.
16. C. Parnin and A. Orso. Are automated debugging techniques actually helping programmers? In Proceedings of the 2011 International Symposium on Software Testing and Analysis, pages 199-209, 2011.
17. Pastore.F., Mariani.L. ,Fraser.G."CrowdOracles: Can the crowd solve the oracle problem?" IN Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013;2013, Article number 6569746, Pages 342-351
18. M. Staats, G. Gay, and M. P. Heimdahl. Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing. In Proceedings of the International Conference on Software Engineering, pages 870-880, 2012.
19. M. Staats, S. Hong, M. Kim, and G. Rothermel. Understanding user understanding: determining correctness of generated program invariants. In Proceedings of the 2012 International Symposium on Software Testing and Analysis, pages 188-198. ACM, 2012.
20. M. Staats, P. Loyola, and G. Rothermel. Oracle-centric test case prioritization. In Proceedings of the International Symposium on Software Reliability Engineering, pages 311-320, 2012.
21. M. Staats, M. W. Whalen, and M. P. Heimdahl. Better testing through oracle selection. In Proceedings of the International Conference on Software Engineering (NIER Track), pages 892-895, 2011.
22. M. Staats, M. W. Whalen, and M. P. Heimdahl. Programs, tests, and oracles: The foundations of testing revisited. In 2011 33rd International Conference on Software Engineering (ICSE), pages 391-400. IEEE, 2011.
23. K. Taneja and T. Xie. Diffgen: Automated regression unit-test generation. In 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008. ASE 2008., pages 407-410. IEEE, 2008.
24. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda. Model checking programs. Automated Software Engineering, 10(2):203-232, 2003.
25. J. M. Voas. Pie: A dynamic failure-based technique. IEEE Trans. Software Eng., 18(8):717-727, 1992.
26. Y. Wei, C. A. Furia, N. Kazmin, and B. Meyer. Inferring better contracts. In Proceedings of the 31st International Conference on Software Engineering (ICSE), pages 191-200, 2011.
27. Q. Xie and A. M. Memon. Designing and comparing automated test oracles for gui-based software applications. ACM Transactions on Software Engineering and Methodology (TOSEM), 16(1):4, 2007.
28. T. Zimmermann and N. Nagappan. Predicting defects using network analysis on dependency graphs. In Proceedings of the 30th International Conference on Software Engineering, ICSE '08, pages 531-540, New York, NY, USA, 2008. ACM.