Active Bibliography

3 Hampi: A solver for word equations over strings, regular expressions and context-free grammar – Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
Effective Software Testing with a String-Constraint Solver – Michael D. Ernst - 2009
6 HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection – Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael Ernst
487 KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs – Cristian Cadar, Daniel Dunbar, Dawson Engler
49 A Decision Procedure for Subset Constraints over Regular Languages – Pieter Hooimeijer, Westley Weimer - 2009
3 Decision procedures for string constraints – Pieter Hooimeijer - 2010
24 Solving String Constraints Lazily – Pieter Hooimeijer, Westley Weimer - 2010
Decision Procedures for String Constraints Ph.D. Dissertation Proposal – Pieter Hooimeijer - 2010
850 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher