Combining static analysis and test generation for C program debugging

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6143 LNCS, Issue , 2010, Pages 94-100

  Chebaro, Omar ^a,b   Kosmatov, Nikolai ^a   Giorgetti, Alain ^b,c   Julliand, Jacques ^b  

^a DIF   (France)

^b UNIVERSITÉ DE FRANCHE COMTÉ   (France)

^c INRIA   (France)

Author keywords

alarm guided test generation; all paths test generation; C program debugging; run time errors; static analysis

Indexed keywords

C PROGRAMS; RUN-TIME ERRORS; STRUCTURAL PROGRAMS; STRUCTURAL TESTS; TEST CASE; TEST GENERATIONS;

ALARM SYSTEMS; EMBEDDED SYSTEMS; ERRORS; STATIC ANALYSIS; TESTING;

PROGRAM DEBUGGING;

EID: 77954718404     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13977-2_9     Document Type: Conference Paper

References (11)

1. Pasareanu, C., Pelanek, R., Visser, W.: Concrete model checking with abstract matching and refinement. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 52-66. Springer, Heidelberg (2005)
2. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker BLAST: Applications to software engineering. Int. J. Softw. Tools Technol. Transfer 9(5-6), 505-525 (2007)
3. Gulavani, B.S., Henzinger, T.A., Kannan, Y., Nori, A.V., Rajamani, S.K.: SYNERGY: a new algorithm for property checking. In: FSE, pp. 117-127 (2006)
4. Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program 69(1-3), 35-45 (2007)
5. Smaragdakis, Y., Csallner, C.: Combining static and dynamic reasoning for bug detection. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol. 4454, pp. 1-16. Springer, Heidelberg (2007)
6. Godefroid, P., Levin, M.Y., Molnar, D.A.: Active property checking. In: EMSOFT, pp. 207-216 (2008)
7. Frama-C: Framework for static analysis of C programs (2007-2010), http://www.frama-c.com/
8. Botella, B., Delahaye, M., Hong-Tuan-Ha, S., Kosmatov, N., Mouy, P., Roger, M.,Williams, N.: Automating structural testing of C programs: Experience with PathCrawler. In: AST, pp. 70-78 (2009)
9. Ku, K., Hart, T.E., Chechik, M., Lie, D.: A buffer overflow benchmark for software model checkers. In: ASE, pp. 389-392 (2007)
10. Ball, T.: A theory of predicate-complete test coverage and generation. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol. 3657, pp. 1-22. Springer, Heidelberg (2005)
11. Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: EXE: automatically generating inputs of death. In: CCS, pp. 322-335 (2006)