JST: An automatic test generation tool for industrial Java applications with strings

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2013, Pages 992-1001

  Ghosh, Indradeep ^a   Shafiei, Nastaran ^b   Li, Guodong ^a   Chiang, Wei Fan ^c  

^a FUJITSU LABORATORIES OF AMERICA   (United States)

^b YORK UNIVERSITY   (Canada)

^c University of Utah   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST GENERATION; FLOATING POINT NUMBERS; GENERIC PLATFORMS; INDUSTRIAL STRENGTH; JAVA APPLICATIONS; JAVA PATHFINDER; REGULAR EXPRESSIONS; SYMBOLIC EXECUTION;

INDUSTRIAL APPLICATIONS; INTEGER PROGRAMMING; PATTERN MATCHING; SOFTWARE ENGINEERING;

TOOLS;

EID: 84886396004     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2013.6606649     Document Type: Conference Paper

References (24)

1. C. Cadar, D. Dunbar, and D. R. Engler, "KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs," in OSDI, 2008.
2. C. S. Pasareanu and N. Rungta, "Symbolic PathFinder: symbolic execution of Java bytecode," in ASE, 2010.
3. K. Sen, D. Marinov, and G. Agha, "CUTE: a concolic unit testing engine for C," in ESEC/FSE, 2005.
4. N. Tillmann and J. De Halleux, "Pex: white box test generation for. net," in International conference on Tests and proofs (TAP), 2008.
5. J. King, "Symbolic execution and program testing," Communications of the ACM, vol. 19, no. 7, pp. 385-394, 1976.
6. D. Kroening and O. Strichman, Decision Procedures: An Algorithmic Point of View. Springer Publishing Company, Incorporated, 2008.
7. C. S. Pasareanu, P. C. Mehlitz, D. H. 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 ISSTA, 2008.
8. G. Li, I. Ghosh, and S. P. Rajan, "KLOVER: A symbolic execution and automatic test generation tool for C++ programs," in CAV, 2011.
9. N. Bjørner, N. Tillmann, and A. Voronkov, "Path feasibility analysis for string-manipulating programs," in TACAS, 2009.
10. P. Hooimeijer and M. Veanes, "An evaluation of automata algorithms for string analysis," in VMCAI, 2011.
11. D. Shannon, I. Ghosh, S. Rajan, and S. Khurshid, "Efficient symbolic execution of strings for validating web applications," in 2nd Workshop on Defects in Large Software Systems, 2009.
12. M. Souza, M. Borges, M. d'Amorim, and C. S. Psreanu, "CORAL: solving complex constraints for symbolic pathfinder," in NFM, 2011.
13. B. Dutertre and L. D. Moura, "The Yices SMT Solver," Computer Science Laboratory, SRI International, Tech. Rep., 2006.
14. A. S. Christensen, A. Møller, and M. I. Schwartzbach, "Precise analysis of string expressions," in SAS, 2003.
15. P. Cousot and R. Cousot, "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints," in POPL, 1977.
16. V. Ganesh, A. Kiezun, S. Artzi, P. J. Guo, P. Hooimeijer, and M. D. Ernst, "HAMPI: A string solver for testing, analysis and vulnerability detection," in CAV, 2011.
17. P. Saxena, D. Akhawe, S. Hanna, F. Mao, S. McCamant, and D. Song, "A Symbolic Execution Framework for JavaScript," in IEEE Symposium on Security and Privacy, 2010.
18. M. Veanes, P. de Halleux, and N. Tillmann, "Rex: Symbolic regular expression explorer," in ICST, 2010.
19. F. Yu, T. Bultan, and O. H. Ibarra, "Symbolic string verification: Combining string analysis and size analysis," in TACAS, 2009.
20. F. Yu, M. Alkhalaf, and T. Bultan, "Stranger: An automata-based string analysis tool for PHP," in TACAS, 2010.
21. G. Redelinghuys, "Symbolic string execution," Master's thesis, University of Stellenbosch, 2012.
22. G. Redelinghuys, W. Visser, and J. Geldenhuys, "Symbolic execution of programs with strings," in SAICSIT Conf., 2012.
23. P. Hooimeijer and W. Weimer, "Solving string constraints lazily," in ASE, 2010.
24. G. Li, P. Li, G. Sawaga, G. Gopalakrishnan, I. Ghosh, and S. P. Rajan, "GKLEE: Concolic verification and test generation for GPUs," in PPoPP, 2012.