Abstracting symbolic execution with string analysis

Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007

Volumn , Issue , 2007, Pages 13-22

  Shannon, Daryl ^a   Hajra, Sukant ^a   Lee, Alison ^a   Zhan, Daiqian ^a   Khurshid, Sarfraz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT LEVELS; COMPLEX PROGRAMS; DATA TYPING; EXECUTION PATHS; FINITE STATE AUTOMATON; PROGRAM ANALYSIS; SQL DATABASES; STRING ANALYSIS; SYMBOLIC EXECUTION; SYMBOLIC REPRESENTATIONS;

ABSTRACTING; CHLORINE COMPOUNDS; FINITE AUTOMATA;

INDUSTRIAL RESEARCH;

EID: 48049109004     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TAICPART.2007.4344094     Document Type: Conference Paper

References (21)

1. T. Andrews, S. Qadeer, S. Rajamani, J. Rehof, and Y. Xie. Zing: A model checker for concurrent software. In 16th International Conference on Computer Aided Verification (CAV), Boston, MA, July 2004.
2. C. Barrett and S. Berezin. CVC Lite: A new implementation of the cooperating validity checker. In Proceedings of the 16th International Conference On Computer Aided Verification, Boston, MA, July 2004.
3. W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for finding dynamic programming errors. Software - Practice and Experience, 30(7), 2000.
4. S. Chiba. Javassist - a reflection-based programming wizard for Java. In Proceedings of the ACM OOPSLA'98 Workshop on Reflective Programming in C++ and Java, Oct. 1998.
5. A. Christensen, A. Møller, and M. Schwartzbach. Precise analysis of string expressions. In Proc. 10th International Static Analysis Symposium (SAS'03), June 2004.
6. C. Csallner and Y. Smaragdakis. Check 'n' crash: Combining static checking and testing. In Proc. 27th International Conference on Software Engineering (ICSE), St. Louis, MO, May 2005.
7. M. Dahm. Byte code engineering library. http://bcel.sourceforge.net/.
8. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In Proc. ACM SIGPLAN 2002 Conference on Programming language design and implementation, 2002.
9. P. Godefroid. Model checking for programming languages using VeriSoft. In Proc. 24th Annual ACM Symposium on the Principles of Programming Languages (POPL), Paris, France, Jan. 1997.
10. K. Havelund and T. Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, 1999.
11. G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5), May 1997.
12. JBoss. Hibernate core, http://www.hibernate.org/.
13. S. Khurshid, I. Garcia, and Y L. Suen. Repairing structurally complex data. In 12th SPIN Workshop on Model Checking of Software, San Francisco, CA, Aug. 2005.
14. S. Khurshid, C. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Warsaw, Poland, April 2003.
15. S. Khurshid and Y L. Suen. Generalizing symbolic execution to library classes. In 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Lisbon, Portugal, Sept. 2005.
16. J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7), 1976.
17. A. Møller. Brics automaton library, http://www.brics.dk/automaton.
18. C.S. Pasareanu and W. Visser. Verification of java programs using symbolic execution and invariant generation. In Proc. 11th International SPIN Workshop on Model Checking of Software, Barcelona, Spain, Apr. 2004.
19. M. Veanes, C. Campbell, W. Schulte, P. Kohli, N. Tillmann, and W. Grieskamp. On-the-fly testing of reactive systems. (Submitted for publication.).
20. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. 15th Conference on Automated Software Engineering (ASE), Grenoble, France, 2000.
21. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In Proc. 11th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Edinburgh, UK, Apr. 2005.