HAMPI: a solver for string constraints

Full Text:

Pdf

Buy this Article

Authors:	Adam Kiezun	Massachusetts Institute of Technology, Cambridge, MA, USA
	Vijay Ganesh	Massachusetts Institute of Technology, Cambridge, MA, USA
	Philip J. Guo	Stanford University, Stanford, CA, USA
	Pieter Hooimeijer	University of Virginia, Charlottesville, VA, USA
	Michael D. Ernst	University of Washington, Seattle, WA, USA

	2009 Article
Bibliometrics
· Downloads (6 Weeks): 11 · Downloads (12 Months): 91 · Downloads (cumulative): 463 · Citation Count: 32

Published in:

	· Proceeding
	ISSTA '09 Proceedings of the eighteenth international symposium on Software testing and analysis
	Pages 105-116 ACM New York, NY, USA ©2009 table of contents ISBN: 978-1-60558-338-9 doi>10.1145/1572272.1572286

Tools and Resources