@inproceedings{ISSTA-2000-JacksonV,
	author        = "Daniel Jackson and Mandana Vaziri",
	booktitle     = "{Proceedings of the International Symposium on Software Testing and Analysis}",
	doi           = "10.1145/347324.383378",
	pages         = "14--25",
	publisher     = "{ACM}",
	title         = "{Finding bugs with a constraint solver}",
	year          = 2000,
}