Program comprehension for user-assisted test oracle generation

4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software

Volumn , Issue , 2009, Pages 118-127

  Kanstrén, Teemu ^a  

^a VTT TECHNICAL RESEARCH CENTRE OF FINLAND   (Finland)

Author keywords

Program comprehension; Test automation; Test oracle

Indexed keywords

APRIORI; AUTOMATED ASSISTANCE; AUTOMATED SUPPORT; AUTOMATED TESTING; BASIC CONCEPTS; CREATION PROCESS; HUMAN UNDERSTANDING; MODEL BASED TESTING; PROGRAM COMPREHENSION; RESEARCH TOPICS; TEST AUTOMATION; TEST ORACLES; TESTED PROGRAMS;

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE ENGINEERING; SOFTWARE TESTING;

TESTING;

EID: 70749093837     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2009.26     Document Type: Conference Paper

References (29)

1. A. Bertolino, "Software Testing Research: Achievements, Challenges, Dreams," in Proc. Future of Software Engineering (FOSE'07), 2007.
2. B. Daniel, D. Dig, K. Garcia, and D. Marinov, "Automated Testing of Refactoring Engines," in Proc. 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC/FSE'07), Dubrovnic, Croatia, 2007, pp. 185-194.
3. Ali Mesbah and Arie van Deursen, "Invariant-Based Testing of Ajax User Interfaces," in Proc. 31st Int'l. Conf. on Software Eng., Vancouver, Canada, 2009.
4. H. Sneed, "Program Comprehension for the Purpose of Testing," in Proc. 14th Int'l. Workshop on Program Comprehension (IWPC'04), 2004.
5. M-A. Storey, "Theories, Tools and Research Methods in Program Comprehension: Past, Present and Future," Software Quality Journal, vol. 14, no. 3, pp. 183-208, Sept. 2006.
6. Debra J. Richardson, Stephanie Leif Aha, and T. Owen O'Malley, "Specification-Based Test Oracles for Reactive Systems," in Proc. 14th Int'l. Conf. on Software Eng. (ICSE'92), Melbourne, Australia, 1992, pp. 105-118.
7. X. Yaun and A. M. Memon, "Using GUI Run-Time State as Feedback to Generate Test Cases," in Proc. 29th Int'l. Conf. on Software Eng. (ICSE'07), 2007.
8. Atif Memon and Qing Xie, "Using Transient/Persistent Errors to Develop Automated Test Oracles for Event- Driven Software," in Proc. 19th Int'l. Conf. on Automated Software Eng. (ASE'04), 2004.
9. Murani Haran, Alan Karr, Michael Last, Alessandro Orso, Adam A. Porter, Ashish Sanil, and Sandro Fouché, "Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks," IEEE Transactions on Software Eng., vol. 33, no. 5, pp. 287-304, May 2007.
10. J. H. Andrews and Y. Zhang, "General Test Result Checking with Log File Analysis," IEEE Transaction on Software Eng., vol. 29, no. 7, pp. 634-648, July 2003.
11. S. Ducasse, T. Gîrba, and R. Wuyts, "Object-Oriented Legacy System Trace-Based Logic Testing," in Proc. European Conf. on Software Maintenance and Reengineering (CSMR'06), 2006.
12. C. D. Roover, I. Michiels, K. Gybels, K. Gybels, and T. D'Hondt, "An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification," in Proc. 14th Int'l. Conf. on Program Comprehension (ICPC'06), 2006.
13. Adrian Lienhard, Tudor Gîrba, Orla Greevy, and Oscar Nierstrasz, "Test Blueprints - Exposing Side Effects in Execution Traces to Support Writing Unit Tests," in Proc. 12th European Conf. on Software Maintenance and Reengineering (CSMR'08), 2008, pp. 83-92.
14. M. Boshernitsan, R. Doong, and A. Savoia, "From Daikon to Agitator: Lessons and Challenges in Building a Commercial Tool for Developer Testing," in Proc. Int'l. Symposium on Software Testing and Analysis (ISSTA'06), Portland, Maine, 2006, pp. 169-179.
15. C. Pacheso and M. D. Ernst, "Eclat: Automatic Generation and Classification of Test Inputs," in Proc. European Conf. on Object-Oriented Programming (ECOOP'05), 2005, pp. 504-527.
16. T. Xie and D. Notkin, "Tool-Assisted Unit-Test Generation and Selection Based on Operational Abstractions," Journal of Automated Software Engineering, vol. 13, no. 3, pp. 345-371, July 2006.
17. K. Magel, "A Theory of Small Program Complexity," ACM SIGPLAN Notices, vol. 17, no. 3, 1982.
18. A. von Myrhauser and A. M. Vans, "Program Comprehension During Software Maintenance and Evolution," IEEE Computer, vol. 28, no. 8, pp. 44-55, August 1995.
19. N. Pennington, "Stimulus Structures and Mental Represntations in Expert Comprehension of Computer Programs," Cognitive Psychology, vol. 19, pp. 295-341, 1987.
20. R. Brooks, "Towards a Theory of the Comprehension of Computer Programs," Int'l. Jounral of Man-Machine Studies, vol. 18, pp. 543-554, 1983.
21. B. Cornelissen, A. Zaidman, A. van Deursen, L. Moonen, and R. Koschke, "A Systematic Survey of Program Comprehension through Dynamic Analysis," IEEE Transaction on Software Eng., 2009.
22. C. Bennett, D. Myers, M-A. Storey, D. M. German, D. Ouellet, M. Salois, and P. Charland, "A Survey and Evaluation of Tool Features for Understanding Reverse-Engineered Sequence Diagrams," Journal of Software Maintenance and Evolution: Research and Practice, vol. 20, no. 4, pp. 291-315, July 2008.
23. L. C. Briand, Y. Labiche, and J. Leduc, "Towards the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software," IEEE Transactions on Software Eng., vol. 32, no. 9, pp. 642-663, Sept. 2006.
24. D. Lorenzoli, L. Mariani, and M. Pezzè, "Automatic Generation of Software Behavioral Models," in Proc. 30th Int'l. Conf. on Software Eng. (ICSE'08), Leipzig, Germany, 2008, pp. 501-510.
25. Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, and Mike Holcombe, "Automated Discovery of State Transitions and their Functions in Source Code," Software Testing, Verification and Reliability, vol. 18, no. 2, pp. 99-121, June 2008.
26. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, "Dynamically Discovering Likely Program Invariants to Support Program Evolution," IEEE Transactions on Software Eng., vol. 27, no. 2, pp. 99-123, Feb. 2001.
27. J. E. Cook and Z. Du, "Discovering Thread Interactions in a Concurrent System," Journal of Systems and Software, vol. 77, no. 3, pp. 285-297, Sept. 2005.
28. B. Schmerl, J. Aldrich, D. Garlan, R. Kazman, and H. Yan, "Discovering Architectures from Running Systems," IEEE Transactions on Software Eng., vol. 32, no. 7, pp. 454-466, July 2006.
29. W.M.P. van der Aalst, V. Rubin, H.M.W. Verbeek, B.F. van Dongen, E. Kindler, and C.W. Günther, "Procee Mining: A Two-Step Approach to Balance Between Underfitting and Overfitting," Software and Systems Modeling (SoSyM), 2009.