Directed test generation using symbolic grammars

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007

Volumn , Issue , 2007, Pages 553-556

  Majumdar, Rupak ^a   Xu, Ru Gang ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Concolic execution; Grammar based testing; Random testing; Symbolic grammars; Testing C programs

Indexed keywords

CONCOLIC EXECUTION; GRAMMAR BASED TESTING; RANDOM TESTING; SYMBOLIC GRAMMARS; TESTING C PROGRAMS; DIRECTED TESTING; DIRECTED TESTS; DO-MAINS; EXHAUSTIVE ENUMERATIONS; INPUT STRINGS; PATH CONSTRAINTS; PREDOMINANT TECHNIQUES; PROGRAM EXECUTIONS; SYMBOLIC CONSTANTS; SYMBOLIC EXECUTIONS; SYMBOLIC TECHNIQUES; SYMBOLIC TEST GENERATIONS; TEST GENERATIONS; TEST INPUTS;

ABSTRACTING; CODES (SYMBOLS); COMPUTER PROGRAMMING; CONTEXT FREE GRAMMARS; SOFTWARE ENGINEERING; TESTING;

SOFTWARE TESTING;

EID: 57149133059     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1287624.1287708     Document Type: Conference Paper

References (17)

1. Cve-2003-0466. 2003.
2. Cve-2006-5994. 2006.
3. M. Berkelaar, J. Dirks, K. Eikland, and P. Notebaert. lp_solve 5.5.0.10. 2007.
4. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on java predicates. In ISSTA, pages 123-133, 2002.
5. C. Cadar, V. Ganesh, P.M. Pawlowski, D.L. Dill, and D.R. Engler. Exe: automatically generating inputs of death. In ACM CCS, pages 322-335. ACM, 2006.
6. L. Clarke. A system to generate test data and symbolically execute programs. IEEE Trans. Software Eng., 2:215-222, 1976.
7. D. Coppit and J. Lian, yagg: an easy-to-use generator for structured test inputs. In ASE, pages 356-359. ACM, 2005.
8. P. Godefroid, N. Klarlund, and K. Sen. Dart: directed automated random testing. In PLDI, pages 213-223. ACM, 2005.
9. J. B. Goodenough and S. L. Gerhart. Toward a theory of test data selection. IEEE Trans. Software Eng., 1(2):156-173, 1975.
10. S.C. Johnson. Yace - yet another compiler-compiler. Computer Science Tehnical Report, (32), 1975.
11. S. Khurshid and D. Marinov. Testera: Specification-based testing of java programs using sat. Autom. Softw. Eng., 11(4):403-434, 2004.
12. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
13. R. Lämmel and W. Schulte. Controllable combinatorial coverage in grammar-based testing. In TestCom, volume 3964 of Lecture Notes in Computer Science, pages 19-38. Springer, 2006.
14. M.E. Lesk and E. Schmidt. Lex - a lexical analyser generator. Computer Science Tehnical Report, (39), 1975.
15. P. M. Maurer. Generating test data with enhanced context-free grammars. IEEE Software, 7(4):50-55, 1990.
16. K. Sen, D. Marinov, and G. Agha. Cute: a concolic unit testing engine for c. In ESEC/SIGSOFT FSE, pages 263-272. ACM, 2005.
17. W. Visser, C. S. Pasareanu, and S. Khurshid. Test input generation with java pathfinder. In ISSTA, pages 97-107. ACM, 2004.