Reggae: Automated test generation for programs using complex regular expressions

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 515-519

  Li, Nuo ^a   Xie, Tao ^a   Tillmann, Nikolai ^b   De Halleux, Jonathan ^b   Schulte, Wolfram ^b  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Dynamic symbolic execution; String generation; Test generation

Indexed keywords

AUTOMATED TECHNIQUES; AUTOMATED TEST GENERATIONS; BRANCH COVERAGE; EMPIRICAL RESULTS; GENERATION TOOLS; INFORMATION EXTRACTION; INPUT VALIDATION; PATH EXPLORATION; REGULAR EXPRESSIONS; SYMBOLIC EXECUTION; TEST COVERAGE; TEST GENERATION; TEST GENERATIONS; TEST INPUTS; VALIDATION PROGRAM;

AUTOMATION; SOFTWARE ENGINEERING; SOFTWARE TESTING; TESTING;

AUTOMATIC TEST PATTERN GENERATION;

EID: 77952182673     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.67     Document Type: Conference Paper

References (17)

1. P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed automated random testing," in Proc. PLDI, 2005, pp. 75-84.
2. K. Sen, D. Marinov, and G. Agha, "CUTE: A concolic unit testing engine for C," in Proc. ESEC/FSE, 2005, pp. 263-272.
3. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler, "EXE: automatically generating inputs of death," in Proc. CCS, 2006, pp. 322-335.
4. N. Tillmann and J. de Halleux, "Pex - White box test generation for .NET," in Proc. TAP, 2008, pp. 134-153.
5. N. Bjørner, N. Tillmann, and A. Voronkov, "Path feasibility analysis for string-manipulating programs," in Proc. TACAS, 2009, pp. 307-321.
6. T. Xie, N. Tillmann, P. de Halleux, and W. Schulte, "Fitness-guided path exploration in dynamic symbolic execution," in Proc. DSN, 2009.
7. "Regexlib.com," 2008, http://regexlib.com/.
8. "Flashrecruit - job board/applicant track," 2007, http://sourceforge.net/projects/flashrecruit/.
9. "dk.brics.automaton," 2008, http://www.brics.dk/automaton/.
10. "Reggae: Automated test generation for programs using complex regular expressions," 2009, https://sites.google.com/site/asergrp/projects/ reggae.
11. J. C. King, "Symbolic execution and program testing," Commun. ACM, vol.19, no.7, pp. 385-394, 1976.
12. S. Anand, C. S. Pasareanu, and W. Visser, "JPF-SE: A symbolic execution extension to Java PathFinder," in Proc. TACAS, 2007, pp. 134-138.
13. M. Emmi, R. Majumdar, and K. Sen, "Dynamic test input generation for database applications," in Proc. ISSTA, 2007, pp. 151-162. (Pubitemid 47317589)
14. G. Wassermann, D. Yu, A. Chander, D. Dhurjati, H. Inamura, and Z. Su, "Dynamic test input generation for web applications," in Proc. ISSTA, 2008, pp. 249-260.
15. A. Kiezun, V. Ganesh, P. J. Guo, P. Hooimeijer, and M. D. Ernst, "Hampi: A solver for string constraints," in Proc. ISSTA, 2009, pp. 105-116.
16. P. Godefroid, M. Y. Levin, and D. Molnar, "Automated whitebox fuzz testing," in Proc. NDSS, 2008, pp. 151-166.
17. A. S. Christensen, A. Mller, and M. I. Schwartzbach, "Precise analysis of string expressions," in Proc. SAS, 2003, pp. 1-18.