Symbolic execution of programs with strings
Authors:
Open Access
- 1 October 2012
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 139-148
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Stranger: An Automata-Based String Analysis Tool for PHP2010
- A Symbolic Execution Framework for JavaScript2010
- HAMPI2009
- Efficient symbolic execution of strings for validating web applications2009
- A decision procedure for subset constraints over regular languages2009
- Symbolic String Verification: Combining String Analysis and Size AnalysisLecture Notes in Computer Science, 2009
- Path Feasibility Analysis for String-Manipulating ProgramsLecture Notes in Computer Science, 2009
- Symbolic String Verification: An Automata-Based ApproachLecture Notes in Computer Science, 2008
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- Symbolic execution and program testingCommunications of the ACM, 1976