Efficient symbolic execution of strings for validating web applications
Authors:
Open Access
- 19 June 2009
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 22-26
Abstract
No abstract availableKeywords
Funding Information
- Division of Computing and Communication Foundations (CCF-0702680IIS-0438967)
- Division of Information and Intelligent Systems (CCF-0702680IIS-0438967)
This publication has 2 references indexed in Scilit:
- Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution2008
- Symbolic execution and program testingCommunications of the ACM, 1976