An approach for search based testing of null pointer exceptions

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

Volumn , Issue , 2011, Pages 160-169

  Romano, Daniele ^a   Di Penta, Massimiliano ^b   Antoniol, Giuliano ^c  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF SANNIO   (Italy)

^c ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

Null pointer exceptions; Search based testing

Indexed keywords

COMPLEX INPUTS; CONTROL FLOWS; EXECUTION SCENARIO; INPUT PARAMETER; INTER-PROCEDURAL; NULL POINTER EXCEPTIONS; OPEN SOURCE SYSTEM; RANDOM TESTING; SEARCH-BASED; SOFTWARE SYSTEMS; TEST DATA; TEST DATA GENERATION; UNCAUGHT EXCEPTIONS;

ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA FLOW ANALYSIS; DATA STRUCTURES; OPEN SYSTEMS; POPULATION STATISTICS; PROGRAM DEBUGGING; VERIFICATION;

SOFTWARE TESTING;

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

References (20)

1. A. van Hoff, "The case for Java as a programming language," IEEE Internet Computing, vol. 1, no. 1, pp. 51-56, 1997.
2. K. Dobolyi and W. Weimer, "Changing Java's semantics for handling null pointer exceptions," in 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA. IEEE Computer Society, 2008, pp. 47-56.
3. J.-W. Jo, B.-M. Chang, K. Yi, and K.-M. Choe, "An uncaught exception analysis for java," Journal of Systems and Software, vol. 72, no. 1, pp. 59-69, 2004.
4. M. G. Nanda and S. Sinha, "Accurate interprocedural null-dereference analysis for java," in 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings. IEEE, 2009, pp. 133-143.
5. M. P. Robillard and G. C. Murphy, "Static analysis to support the evolution of exception structure in object-oriented systems," ACM Trans. Softw. Eng. Methodol., vol. 12, no. 2, pp. 191-221, 2003.
6. S. Sinha and M. J. Harrold, "Analysis and testing of programs with exception handling constructs," IEEE Trans. Software Eng., vol. 26, no. 9, pp. 849-871, 2000.
7. S. Sinha, A. Orso, and M. J. Harrold, "Automated support for development, maintenance, and testing in the presence of implicit control flow," in 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, 2004, pp. 336-345.
8. J. Wegener, A. Baresel, and H. Sthamer, "Evolutionary test environment for automatic structural testing," Information & Software Technology, vol. 43, no. 14, pp. 841-854, 2001.
9. N. Tracey, J. Clark, K. Mander, and J. McDermid, "Automated test-data generation for exception conditions," Softw. Pract. Exper., vol. 30, no. 1, pp. 61-79, 2000.
10. N. Tracey, J. Clark, J. McDermid, and K. Mander, "A search-based automated test-data generation framework for safety-critical systems," vol. Systems engineering for business process change new directions, pp. 174-213, 2002.
11. HollandJ.H., Adaptation in Natural Artificial Systems. University of Michigan Press, 1975.
12. M. Di Penta, G. Canfora, G. Esposito, V. Mazza, and M. Bruno, "Search-based testing of service level agreements," in Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007. ACM, 2007, pp. 1090-1097.
13. B. Korel, "Automated software test data generation," IEEE Trans. Softw. Eng., vol. 16, no. 8, pp. 870-879, 1990.
14. M. Alshraideh and L. Bottaci, "Search-based software test data generation for string data using program-specific search operators," Softw. Test. Verif. Reliab., vol. 16, no. 3, pp. 175- 203, 2006.
15. C. R. O. Al Jadaan, L. Rajamani, "Improved selection operator for ga," Journal of Theoretical and Applied Information Technology, vol. 4, no. 4, 2008.
16. S. Kim, J. Clark, and J. McDermid, "The rigorous generation of java mutation using HAZOP," in Proc. 12th Int'l Conf. Software and Systems Eng. and Their Applications (ICSSEA 99), 1999.
17. J. Cohen, Statistical power analysis for the behavioral sciences, 2nd ed. Lawrence Earlbaum Associates, 1988.
18. L. C. Briand, M. Di Penta, and Y. Labiche, "Assessing and improving state-based class testing: A series of experiments," IEEE Trans. Software Eng., vol. 30, no. 11, pp. 770-793, 2004.
19. B. G. Ryder, D. Smith, U. Kremer, M. Gordon, and N. Shah, "A static study of Java exceptions using JESP," in CC, 2000, pp. 67-81.
20. C. Fu, A. Milanova, B. G. Ryder, and D. Wonnacott, "Robustness testing of Java server applications," IEEE Trans. Software Eng., vol. 31, no. 4, pp. 292-311, 2005.