A scalable distributed concolic testing approach: An empirical evaluation

Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012

Volumn , Issue , 2012, Pages 340-349

  Kim, Moonzoo ^a   Kim, Yunho ^a   Rothermel, Gregg ^b  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^b UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTING NODES; COMPUTING TIME; CONVENTIONAL TESTING; EMPIRICAL EVALUATIONS; EMPIRICAL STUDIES; EXECUTION PATHS; ORDERS-OF-MAGNITUDE; PROGRAM BEHAVIOR; QUALITY OF SOFTWARES; STANDARD METHOD; TEST CASE; TEST CASE GENERATION; TESTING FRAMEWORK;

AUTOMATIC TEST PATTERN GENERATION;

SOFTWARE TESTING;

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

References (26)

1. K. Sen, D. Marinov, and G. Agha, "CUTE: A concolic unit testing engine for C," in European Software Engineering Conference/Foundations of Software Engineering, 2005.
2. N. Tillmann and W. Schulte, "Parameterized unit tests," in European Software Engineering Conference/Foundations of Software Engineering, 2005.
3. P. Godefroid, M. Y. Levin, and D. Molnar, "Automated whitebox fuzz testing," in Network and Distributed Systems Security, 2008.
4. M. Kim and Y. Kim, "Concolic testing of the multi-sector read operation for flash memory file system," in Brazilian Symposium on Formal Methods, 2009.
5. Y. Kim and M. Kim, "SCORE: a scalable concolic testing tool for reliable embedded software," in European Software Engineering Conference/Foundations of Software Engineering, Szeged, Hungary, September 5-9 2011, pp. 420-423, tool demonstration track.
6. H. Do, S. Elbaum, and G. Rothermel, "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact." Empirical Software Engineering Journal, vol. 10, no. 4, pp. 405-435, 2005. (Pubitemid 41408554)
7. C. Pasareanu and W. Visser, "A survey of new trends in symbolic execution for software testing and analysis," Software Tools for Technology Transfer, vol. 11, no. 4, pp. 339-353, 2009.
8. C. Cadar, D. Dunbar, and D. Engler, "KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs," in Operating System Design and Implementation, 2008.
9. C. Lattner and V. Adve, "LLVM: A compilation framework for lifelong program analysis & transformation," in Intl. Symp. on Code Generation and Optimization, 2004.
10. K. Jayaraman, D. Harvison, V. Ganesh, and A. Kiezun, "jFuzz: A concolic whitebox fuzzer for Java," in NASA Formal Methods Symposium, 2009.
11. W. Visser, K. Havelund, G. Brat, and S. Park, "Model checking programs," in Automated Software Engineering, Sep. 2000.
12. C. Pasareanu, P. Mehlitz, D. Bushnell, K. Gundy-burlet, M. Lowry, S. Person, and M. Pape, "Combining unit-level symbolic execution and system-level concrete execution for testing nasa software," in International Symposium on Software Testing and Analysis, 2008.
13. P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed automated random testing," in Programming Language Design and Implementation, 2005.
14. J. Burnim and K. Sen, "Heuristics for scalable dynamic test generation," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-123, Sep 2008.
15. K. Sen and G. Agha, "CUTE and jCUTE : Concolic unit testing and explicit path model-checking tools," in Computer Aided Verification, 2006.
16. M. Staats and C. Pasareanu, "Parallel symbolic execution for structural test generation," in International Symposium on Software Testing and Analysis, 2010.
17. A. King, "Distributed parallel symbolic execution," Kansas State University, Tech. Rep., 2009, MS thesis.
18. J. H. Siddiqui and S. Khurshid, "ParSym: Parallel Symbolic Execution," in International Conference on Software Technology and Engineering, 2010.
19. S. Bucur, V. Ureche, C. Zamfir, and G. Candea, "Parallel symbolic execution for automated real-world software testing," in 6th ACM SIGOPS/EuroSys, 2011.
20. X. Deng, J. Lee, and Robby, "Bogor/kiasan: A k-bounded symbolic execution for checking strong heap properties of open systems," in Automated Software Engineering, 2006.
21. Y. Kim, M. Kim, and N. Dang, "Scalable distributed concolic testing: a case study on a flash storage platform," in Intl. Conf. on Theoretical Aspects of Computing, 2010.
22. M. Kim, Y. Kim, and G. Rothermel, "Distributed concolic algorithm of the SCORE framework," KAIST, Tech. Rep., 2011, http://pswlab.kaist.ac.kr/ publications/2012/whitepaper-score.pdf.
23. L. Moura and N. Bjorner, "Z3: An efficient SMT solver," in Tools and Algorithms for the Construction and Analysis of Systems, 2008.
24. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria," in International Conference on Software Engineering, 1994, pp. 191-200.
25. National Security Agency (NSA), "FIPS 180-3: Secure hash standard (SHS)," 2008.
26. F. Wilcoxon, "Individual comparisons by ranking methods, "Biometrics Bulletin, vol. 1, no. 6, pp. 80-83, 1945.