AUSTIN: A tool for search based software testing for the C language and its evaluation on deployed automotive systems

Proceedings - 2nd International Symposium on Search Based Software Engineering, SSBSE 2010

Volumn , Issue , 2010, Pages 101-110

  Lakhotia, Kiran ^a   Harman, Mark ^a   Gross, Hamilton ^b  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b Berner & Mattner Systemtechnik GmbH   (Germany)

Author keywords

SBSE; SBST; Software testing

Indexed keywords

AUTOMOTIVE SOFTWARE; AUTOMOTIVE SYSTEMS; BRANCH COVERAGE; C FUNCTIONS; C LANGUAGE; EMPIRICAL STUDIES; EVOLUTIONARY TESTING; ITS EVALUATION; NON-TRIVIAL; RANDOM TESTING; REAL-WORLD; SBSE; SBST; SEARCH-BASED;

COMPUTER SOFTWARE SELECTION AND EVALUATION; EMBEDDED SOFTWARE; SOFTWARE ENGINEERING;

SOFTWARE TESTING;

EID: 79952048272     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SSBSE.2010.21     Document Type: Conference Paper

References (31)

1. W. Miller and D. L. Spooner, "Automatic Generation of Floating-Point Test Data," IEEE Transactions on Software Engineering, vol. 2, no. 3, pp. 223-226, September 1976.
2. S. Xanthakis, C. Ellis, C. Skourlas, A. Le Gall, S. Katsikas, and K. Karapoulios, "Application of Genetic Algorithms to Software Testing," in Proceedings of the 5th International Conference on Software Engineering and Applications, Toulouse, France, 7-11 December 1992, pp. 625-636.
3. B. Korel, "Automated software test data generation," IEEE Transactions on Software Engineering, vol. 16, no. 8, pp. 870-879, 1990.
4. P. Godefroid, N. Klarlund, and K. Sen, "DART: directed automated random testing," ACM SIGPLAN Notices, vol. 40, no. 6, pp. 213-223, Jun. 2005.
5. C. Cadar and D. R. Engler, "Execution generated test cases: How to make systems code crash itself," in Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, vol. 3639. Springer, 2005, pp. 2-23.
6. K. Sen, D. Marinov, and G. Agha, "CUTE: a concolic unit testing engine for C," in ESEC/SIGSOFT FSE. ACM, 2005.
7. N. Tillmann and J. de Halleux, "Pex-white box test generation for.NET," in TAP, B. Beckert and R. Hähnle, Eds., vol. 4966. Springer, 2008, pp. 134-153.
8. K. Lakhotia, P. McMinn, and M. Harman, "Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?" in 4th Testing Academia and Industry Conference - Practice and Research Techniques, 2009, pp. 95-104.
9. H. Gross, P. M. Kruse, J. Wegener, and T. Vos, "Evolutionary white-box software test with the evotest framework: A progress report," in ICSTW '09, Washington, DC, USA, 2009, pp. 111-120.
10. Radio Technical Commission for Aeronautics, "RTCA DO178-B Software considerations in airborne systems and equipment certification," 1992.
11. th International Software Metrics Symposium (METRICS 2004). Los Alamitos, California, USA: IEEE Computer Society Press, Sep. 2004, pp. 58-69.
12. P. McMinn, "Search-based software test data generation: A survey," Software Testing, Verification and Reliability, vol. 14, no. 2, pp. 105-156, Jun. 2004.
13. E. Alba and F. Chicano, "Observations in using Parallel and Sequential Evolutionary Algorithms for Automatic Software Testing," Computers & Operations Research, vol. 35, no. 10, pp. 3161-3183, October 2008.
14. -, "Software Testing with Evolutionary Strategies," in Proceedings of the 2nd Workshop on Rapid Integration of Software Engineering Techniques (RISE '05), vol. 3943. Heraklion, Crete, Greece: Springer, September 2005, pp. 50-65.
15. R. Sagarna, A. Arcuri, and X. Yao, "Estimation of Distribution Algorithms for Testing Object Oriented Software," in Proceedings of the IEEE Congress on Evolutionary Computation (CEC '07). Singapore: IEEE, 25-28 September 2007, pp. 438-444.
16. R. Blanco, J. Tuya, E. Daz, and B. A. Daz, "A Scatter Search Approach for Automated Branch Coverage in Software Testing," International Journal of Engineering Intelligent Systems (EIS), vol. 15, no. 3, pp. 135-142, September 2007.
17. R. Sagarna, "An Optimization Approach for Software Test Data Generation: Applications of Estimation of Distribution Algorithms and Scatter Search," Ph.D. dissertation, University of the Basque Country, San Sebastian, Spain, January 2007.
18. R. Lefticaru and F. Ipate, "Functional Search-based Testing from State Machines," in Proceedings of the First International Conference on Software Testing, Verfication and Validation (ICST 2008). Lillehammer, Norway: IEEE Computer Society, 9-11 April 2008, pp. 525-528.
19. A. Windisch, S. Wappler, and J. Wegener, "Applying Particle Swarm Optimization to Software Testing," in Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation (GECCO '07). London, England: ACM, 7-11 July 2007, pp. 1121-1128.
20. E. Díaz, J. Tuya, R. Blanco, and J. J. Dolado, "A Tabu Search Algorithm for Structural Software Testing," Computers & Operations Research, vol. 35, no. 10, pp. 3052-3072, October 2008.
21. S. Ali, L. C. Briand, H. Hemmati, and R. K. Panesar-Walawege, "A systematic review of the application and empirical investigation of search-based test-case generation," IEEE Transactions on Software Engineering, To appear.
22. J. C. King, "Symbolic execution and program testing," Communications of the ACM, vol. 19, no. 7, pp. 385-394, Jul. 1976.
23. J. Wegener, A. Baresel, and H. Sthamer, "Evolutionary test environment for automatic structural testing," Information and Software Technology, vol. 43, no. 14, pp. 841-854, 2001.
24. Free Software Foundation, "Gcc, the gnu compiler collection," 2009. [Online]. Available: http://gcc.gnu.org/
25. K. Lakhotia, M. Harman, and P. McMinn, "Handling dynamic data structures in search based testing," in GECCO '08: Proceedings of the 10th annual conference on Genetic and evolutionary computation. Atlanta, GA, USA: ACM, 12-16 Jul. 2008, pp. 1759-1766.
26. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer, "CIL: Intermediate language and tools for analysis and transformation of C programs," Lecture Notes in Computer Science, vol. 2304, pp. 213-228, 2002.
27. L. D. Costa and M. Schoenauer, "Bringing evolutionary computation to industrial applications with GUIDE," 2009.
28. M. Prutkina and A. Windisch, "Evolutionary Structural Testing of Software with Pointers," in Proceedings of 1st International Workshop on Search-Based Software Testing (SBST) in conjunction with ICST 2008. Lillehammer, Norway: IEEE, 9-11 April 2008, pp. 231-231.
29. T. Littlefair, "An Investigation Into The Use Of Software Code Metrics In The Industrial Software Development Environment," Ph.D. dissertation, Faculty of computing, health and science, Edith Cowan University, Australia, 2001.
30. M. Harman, Y. Hassoun, K. Lakhotia, P. McMinn, and J. Wegener, "The impact of input domain reduction on search-based test data generation," in ESEC/SIGSOFT FSE, I. Crnkovic and A. Bertolino, Eds. ACM, 2007, pp. 155-164.
31. G. D. Ruxton, "The unequal variance t-test is an underused alternative to Student's t-test and the Mann-Whitney U test," Behavioral Ecology, vol. 17, no. 4, pp. 1045-2249;1465-7279, Jul 2006.