Identifying test conditions for software maintenance

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2005, Pages 304-313

  Sukumaran, Srihari ^a   Sreenivas, Ashok ^a  

^a TATA RESEARCH DEVELOPMENT AND DESIGN CENTRE   (India)

Author keywords

[No Author keywords available]

Indexed keywords

IMPACT ANALYSIS; PROGRAM DEPENDENCE GRAPH REPRESENTATION; SOFTWARE SYSTEMS;

AUTOMATION; GRAPH THEORY; IDENTIFICATION (CONTROL SYSTEMS); SYSTEMS ANALYSIS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 26844499946     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2005.32     Document Type: Conference Paper

References (19)

1. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, Oct. 1991.
2. R. A. DeMillo and A. J. Offutt. Constraint-based automatic test data generation. IEEE Transactions on Sofiware Engineering, 17(9):900-910, Sept. 1991.
3. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Trans. Prog. Lang. Syst., 9:319- 349, July 1987.
4. I. Forges and A. Bertolino. Preventing untestedness in data-flow based testing. Software Testing Verification and Reliability, 12:29-58, 2002.
5. K. B. Gallagher and J. R. Lyle. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8):751-761, Aug. 1991.
6. A. Gottlieb, B. Botella, and M. Rucher. Automatic test data generation using constraint solving techniques. In Proc. of ACM International symposium on software testing and analysis, pages 53-62. ACM, New York, 1998.
7. GNU Prolog, http://gprolog.inria.fr.
8. N. Gupta, A. Mathur, and M. Soffa. Automated test data generation using an iterative relaxation method. In ACM sixth international symposium on foundations of software engineering, pages 231-244. ACM, New York, Nov. 1998.
9. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26-60, Jan. 1990.
10. B. Korel. Automated software test data generation. IEEE transactions on software engineering, 16(8): 870-879, Aug. 1990.
11. A. V. Nori and A. Sreenivas. A technique for model-based testing of a class. In Proc. of the second international workshop on software engineering tools and techniques (SETT) 2001, Pune, India, Jan. 2001.
12. R. P. Pargas, M. J. Harrold, and R. Peck. Test-data generation using genetic algorithms. Software Testing, Verification & Reliability, 9(4):263-282, 1999.
13. W. H. Press, B. P. Flannery, T. Teukolsky, and W. T. Vetterling. Numerical Recipes in C. Cambridge University Press, Cambridge, England, first edition, 1988.
14. T. Reps and G. Rosay. Precise Interprocedural Chopping. In Proceedings of SIGSOFT'95 Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 41-52, Oct. 1995.
15. T. Robschink and G. Snelting. Efficient path conditions in dependence graphs. In Proceedings of the 22rd ACM International Conference on Software Engineering, pages 478-488, 2002.
16. G. Rothermel and M. J. Harrold. Analyzing regression test selection techniques. IEEE Transactions on Software Engineering, 22(8):529-551, Aug. 1996.
17. Srihari S. and Ashok S. APDG: Precise conditions for dependence between program points. Technical report, Tata Research Design and Development Centre, Pune, India, 2004. Copies available on request.
18. N. T. Sy and Y. Deville. Automatic test data generation for programs with integer and float variables. In 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pages 13-21. IEEE Computer Society, 2001.
19. N. T. Sy and Y. Deville. Consistency techniques for interprocedural test data generation. In ACM international symposium on foundations of software engineering (FSE), pages 108-117. ACM, 2003.