Efficient symbolic execution of strings for validating web applications

DEFECTS 2009 - Proceedings of the 2nd International Workshop on Defects in Large Software Systems, Held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2009

Volumn , Issue , 2009, Pages 22-26

  Shannon, D ^a   Rajan, I Ghosh S ^b   Khurshid, S ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^b FUJITSU LABORATORIES OF AMERICA   (United States)

Author keywords

Analysis; FSM; Java; Reliability; SMT; Symbolic execution

Indexed keywords

APPLICATION PROGRAMS; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; DEFECTS; MODEL CHECKING; RELIABILITY; RELIABILITY ANALYSIS; SOFTWARE TESTING; SURFACE MOUNT TECHNOLOGY; VERIFICATION;

ANALYSIS; EASE-OF-USE; FORMAL MODEL CHECKING; JAVA; SYMBOLIC EXECUTION; VERIFICATION OF SOFTWARES; WEB APPLICATION;

JAVA PROGRAMMING LANGUAGE;

EID: 84990868632     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1555860.1555868     Document Type: Conference Paper

References (11)

1. J. C. King, "Symbolic execution and program testing", Communications of the ACM, vol. 19, pp. 385-394, July 1976.
2. S. Anand, C. Pǎsǎreanu, and W. Visser, "Jpf-se: A symbolic execution extension to java pathfinder", in TACAS, pp. 134-138, 2007.
3. C. Pǎsǎreanu, 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 ISSTA, 2008.
4. S. Anand, A. Orso, and M. J. Harrold, "Type-dependence analysis and program transformation for symbolic execution", in TACAS, Mar. 2007.
5. X. Li, D. Shannon, I. Ghosh, M. Ogawa, and S. Rajan, "Context-sensetive relevancy analysis for efficient symbolic execution", in Proceedings of the 6th Asian Symposium on Programming Languages and Systems, Dec. 2008.
6. O. Tkachuk, M. B. Dwyer, and C. Pǎsǎreanu, "Automated environment generation for software model checking", in Proceedings of the 18th IEEE International Conference on Automated Software Engineering, Oct. 2003.
7. S. Rajan, O. Tkachuk, M. Prasad, I. Ghosh, N. Goel, and T. Uehara, "Weave: Web application validation environment", in Proceeding of the International Conference on Software Engineering, 2009.
8. C. Barrett and S. Berezin, "Cvclite: A new implementation of the cooperating validity checker", in CAV, July 2004.
9. A. Christensen, A. Møller, and M. Schwartzbach, "Precise analysis of string expressions", in SAS, June 2003.
10. D. Shannon and et.al., "Abstracting symbolic execution with string analysis", in Testing: Academic and Industrial Conf.-Practice and Research, Oct. 2007.
11. R. Valle-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co, "Soot - a Java optimization framework", in Proceedings of CASCON'99, Nov. 1999.