Path Feasibility Analysis for String-Manipulating Programs

This publication has 12 references indexed in Scilit:

• Pex–White Box Test Generation for .NET
  Published by Springer Nature ,2008
• What Else Is Decidable about Integer Arrays?
  Published by Springer Nature ,2008
• A Static Analysis Framework For Detecting SQL Injection Vulnerabilities
  IEEE Annual International Computer Software and Applications Conference (COMPSAC), 2007
• CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
  Published by Springer Nature ,2006
• DART
  ACM SIGPLAN Notices, 2005
• What’s Decidable About Arrays?
  Published by Springer Nature ,2005
• Automatic structures: richness and limitations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Precise Analysis of String Expressions
  Published by Springer Nature ,2003
• Coding in the existential theory of concatenation
  Archive for Mathematical Logic, 1987
• Symbolic execution and program testing
  Communications of the ACM, 1976