HAMPI: A Solver for String Constraints
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. This separation of concerns often leads to more effective and maintainable tools. The increasing efficiency of off-the-shelf...
| Main Authors: | , , , , |
|---|---|
| Other Authors: | |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/44584 |