Applying aggressive propagation-based strategies for testing changes

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011

Volumn , Issue , 2011, Pages 11-20

  Santelices, Raul ^a   Harrold, Mary Jean ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

regression testing change analysis; Test suite augmentation

Indexed keywords

CHANGE ANALYSIS; EMPIRICAL STUDIES; JAVA PROGRAM; MAINTENANCE CYCLES; SOFTWARE CHANGE; TEST-SUITE AUGMENTATION;

BEHAVIORAL RESEARCH; COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; TESTING; VERIFICATION;

SOFTWARE TESTING;

EID: 79958703477     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2011.46     Document Type: Conference Paper

References (21)

1. S. Anand, P. Godefroid, and N. Tillmann, "Demand-driven compositional symbolic execution," in Proc. of Tools and Alg. for the Constr. and Analysis of Syst., Mar. 2008, pp. 367-381.
2. T. Apiwattanapong, R. Santelices, P. K. Chittimalli, A. Orso, and M. J. Harrold, "MATRIX: Maintenance-oriented testing requirement identifier and examiner," in Proc. of TAIC PART, Aug. 2006, pp. 137-146.
3. D. Binkley, "Semantics guided regression test cost reduction," IEEE Trans. on Softw. Eng., 23(8):498-516, Aug. 1997. (Pubitemid 127828310)
4. H. Do, S. Elbaum, and G. Rothermel, "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact," Emp. Softw. Eng., vol. 10, no. 4, pp. 405-435, 2005.
5. J. Ferrante, K. Ottenstein, and J. Warren, "The program dependence graph and its use in optimization," ACM Trans. on Prog. Lang. and Systems, vol. 9, no. 3, pp. 319-349, 1987.
6. P. Frankl and E. J. Weyuker, "An applicable family of data flow criteria," IEEE Trans. on Softw. Eng., 14(10):1483-1498, Oct. 1988.
7. S. Horwitz, T. Reps, and D. Binkley, "Interprocedural slicing using dependence graphs," ACM Trans. on Prog. Lang. and Systems, 12(1):26-60, Jan. 1990. (Pubitemid 20660161)
8. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria," in Proc. of Int'l Conf. on Softw. Eng. (ICSE 94), 1994, pp. 191-200.
9. J. C. King, "Symbolic execution and program testing," Communications of the ACM, 19(7):385-394, Jul. 1976.
10. L. Morell, "A Theory of Fault-Based Testing," IEEE Trans. on Softw. Eng., 16(8):844-857, Aug. 1990.
11. S. Person, M. Dwyer, S. Elbaum, and C. S. Pǎsǎreanu, "Differential symbolic execution," in Proc. of Symp. on Foundations of Softw. Eng., Nov. 2008, pp. 226-237.
12. D. Qi, A. Roychoudhury, and Z. Liang, "Test generation to expose changes in evolving programs," in Proc. of Int'l Conf. on Automated Softw. Eng., Sep. 2010, pp. 397-406.
13. D. Richardson and M. C. Thompson, "The RELAY model of error detection and its application," in Proc. of Workshop on Softw. Testing, Analysis and Verif., Jul. 1988, pp. 223-230.
14. G. Rothermel and M. J. Harrold, "Selecting tests and identifying test coverage requirements for modified software," in Proc. of Int'l Symp. on Softw. Testing and Analysis, Aug. 1994, pp. 169-184.
15. R. Santelices, P. K. Chittimalli, T. Apiwattanapong, A. Orso, and M. J. Harrold, "Test-suite augmentation for evolving software," in Proc. of Int'l Conf. on Automated Softw. Eng., Sep. 2008, pp. 218-227.
16. R. Santelices and M. J. Harrold, "Efficiently monitoring data-flow test coverage," in Proc. of Int'l Conf. on Automated Softw. Eng., Nov. 2007, pp. 343-352.
17. -, "Exploiting program dependencies for scalable multiple-path symbolic execution," in Proc. of Int'l Symp. on Softw. Testing and Analysis, Jul. 2010, pp. 195-206.
18. "Soot: a Java Optimization Framework," http://www.sable.mcgill. ca/soot/, Sable Project, McGill University.
19. J. Voas, "PIE:A Dynamic Failure-Based Technique," IEEE Trans. on Softw. Eng., 18(8):717-727, Aug. 1992.
20. M. Weiser, "Program slicing," IEEE Trans. on Softw. Eng., 10(4):352-357, Jul. 1984.
21. Z. Xu, Y. Kim, M. Kim, M. Cohen, and G. Rothermel, "Directed test suite augmentation: techniques and tradeoffs," in Proc. Symp. Found. Softw. Eng., Nov. 2010, pp. 257-266.