PASS: String Solving with Parameterized Array and Interval Automaton
Authors:
- 1 January 2013
- book chapter
- Published by Springer Nature
- p. 15-31
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- JST: An automatic test generation tool for industrial Java applications with strings2013
- KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ ProgramsLecture Notes in Computer Science, 2011
- CVC42011
- HAMPI: A String Solver for Testing, Analysis and Vulnerability DetectionLecture Notes in Computer Science, 2011
- An Evaluation of Automata Algorithms for String Analysis2011
- Solving string constraints lazily2010
- Path Feasibility Analysis for String-Manipulating ProgramsLecture Notes in Computer Science, 2009
- Z3: An Efficient SMT Solver2008
- What’s Decidable About Arrays?2005
- Precise Analysis of String Expressions2003