AUSTIN: An open source tool for search based software testing of C programs

Information and Software Technology

Volumn 55, Issue 1, 2013, Pages 112-125

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

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b Berner & Mattner Systemtechnik GmbH   (Germany)

Author keywords

SBSE; SBST; Software testing

Indexed keywords

AUTOMOTIVE SOFTWARE; BRANCH COVERAGE; C FUNCTIONS; C LANGUAGE; C PROGRAMS; CONSTRAINT SOLVERS; CONSTRAINT SOLVING; DECISION PROCEDURE; EMPIRICAL STUDIES; EVOLUTIONARY TESTING; HANDLING TECHNIQUE; NON-TRIVIAL; OPEN SOURCE SYSTEM; OPEN SOURCE TOOLS; OPEN SOURCES; PRACTICAL PROBLEMS; SBSE; SBST; SEARCH ALGORITHMS; SEARCH-BASED; TEST DATA GENERATION; WILCOXON TEST;

ALGORITHMS; C (PROGRAMMING LANGUAGE); DATA STRUCTURES; EFFICIENCY; SOFTWARE TESTING;

OPEN SYSTEMS;

EID: 84867404152     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2012.03.009     Document Type: Conference Paper

References (35)

1. K. Lakhotia, M. Harman, H. Gross, Austin: a tool for search based software testing for the C language and its evaluation on deployed automotive systems, in: International Symposium on Search Based Software Engineering, 2010, pp. 101-110.
2. W. Miller, and D.L. Spooner Automatic generation of floating-point test data IEEE Transactions on Software Engineering 2 3 1976 223 226
3. S. Xanthakis, C. Ellis, C. Skourlas, A. Le Gall, S. Katsikas, 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.
4. B. Korel Automated software test data generation IEEE Transactions on Software Engineering 16 8 1990 870 879
5. K. Lakhotia, P. McMinn, 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.
6. H. Gross, P.M. Kruse, J. Wegener, T. Vos, Evolutionary white-box software test with the evotest framework: a progress report, in: ICSTW '09, Washington, DC, USA, 2009, pp. 111-120.
7. Radio Technical Commission for Aeronautics, RTCA DO178-B software considerations in airborne systems and equipment certification, 1992.
8. M. Harman, and J. Clark Metrics are fitness functions too 10th International Software Metrics Symposium (METRICS 2004) 2004 IEEE Computer Society Press Los Alamitos, California, USA 58 69
9. P. McMinn Search-based software test data generation: a survey Software Testing, Verification and Reliability 14 2 2004 105 156
10. E. Alba, and F. Chicano Observations in using parallel and sequential evolutionary algorithms for automatic software testing Computers & Operations Research 35 10 2008 3161 3183
11. E. Alba, and F. Chicano Software testing with evolutionary strategies Proceedings of the 2nd Workshop on Rapid Integration of Software Engineering Techniques vol. 3943 2005 Springer Heraklion, Crete, Greece 50 65
12. R. Sagarna, A. Arcuri, and X. Yao Estimation of distribution algorithms for testing object oriented software Proceedings of the IEEE Congress on Evolutionary Computation (CEC '07) 2007 IEEE Singapore 438 444
13. 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) 15 3 2007 135 142
14. 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.
15. R. Lefticaru, and F. Ipate Functional search-based testing from state machines Proceedings of the First International Conference on Software Testing, Verfication and Validation (ICST 2008) 2008 IEEE Computer Society Lillehammer, Norway 525 528
16. A. Windisch, S. Wappler, and J. Wegener Applying particle swarm optimization to software testing Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation (GECCO '07) 2007 ACM London, England 1121 1128
17. E. Díaz, J. Tuya, R. Blanco, and J.J. Dolado A Tabu search algorithm for structural software testing Computers & Operations Research 35 10 2008 3052 3072
18. S. Ali, L.C. Briand, H. Hemmati, R.K. Panesar-Walawege, A systematic review of the application and empirical investigation of search-based test-case generation, IEEE Transactions on Software Engineering, in press.
19. P. Godefroid, N. Klarlund, and K. Sen DART: directed automated random testing ACM SIGPLAN Notices 40 6 2005 213 223
20. C. Cadar, and D.R. Engler Execution generated test cases: how to make systems code crash itself Proceedings of the 12th International SPIN Workshop on Model Checking Software, San Francisco, CA, USA, August 22-24, 2005 vol. 3639 2005 Springer 2 23
21. K. Sen, D. Marinov, and G. Agha CUTE: a concolic unit testing engine for C ESEC/SIGSOFT FSE 2005 ACM
22. N. Tillmann, and J. de Halleux Pex white box test generation for.NET B. Beckert, R. Hähnle, TAP vol. 4966 2008 Springer 134 153
23. J.C. King Symbolic execution and program testing Communications of the ACM 19 7 1976 385 394
24. J. Wegener, A. Baresel, and H. Sthamer Evolutionary test environment for automatic structural testing Information and Software Technology 43 14 2001 841 854
25. A. Arcuri, It does matter how you normalise the branch distance in search based software testing, in: ICST, 2010, pp. 205-214.
26. Free Software Foundation, Gcc, the gnu compiler collection, 2009. < http://gcc.gnu.org/ >.
27. 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 2304 2002 213 228
28. M. Harman, Y. Hassoun, K. Lakhotia, P. McMinn, and J. Wegener The impact of input domain reduction on search-based test data generation I. Crnkovic, A. Bertolino, ESEC/SIGSOFT FSE 2007 ACM 155 164
29. M. Harman, and P. McMinn A theoretical and empirical study of search-based testing: local, global, and hybrid search IEEE Transactions on Software Engineering 36 2 2010 226 247
30. M. Vittek, P. Borovansky, and P.-E. Moreau A simple generic library for c Proceedings of 9th International Conference on Software Reuse, Tur in Reuse of Off-the-Shelf Components, Italy 2006 Springer 423 426
31. D.A. Wheeler, More than a gigabuck: Estimating GNU/Linux's size, June 2001. < http://www.dwheeler.com/sloc/ >.
32. A. Arcuri, Full theoretical runtime analysis of alternating variable method on the triangle classification problem, in: International Symposium on Search Based Software Engineering, 2009, pp. 113-121.
33. R Development Core Team, R: A Language and Environment for Statistical Computing, R Foundation for Statistical Computing, Vienna, Austria, 2011, ISBN 3-900051-07-0. < http://www.R-project.org >.
34. J. Burnim, and K. Sen Heuristics for scalable dynamic test generation Automated Software Engineering (ASE 2008) 2008 IEEE 443 446
35. 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.