@MastersThesis{Master:Erez04,
	AUTHOR = "Guy Erez",
	Title ="Generating Concrete Counterexamples for Sound Abstract Interpretations",
	School = "Tel Aviv University",
	YEAR = 2004,
	address = "Tel Aviv, Israel"
}