@ARTICLE {
	AUTHOR = "Alexandre Bergel and Vanessa Pe{\~n}a",
	TITLE ="Increasing Test Coverage with Hapao",
	JOURNAL = "Science of Computer Programming (SCICO)",
	VOLUME = "79",
	NUMBER = "1",
	PAGES = "86-100",
	MONTH = "Jan",
	YEAR = "2014",
	PUBLISHER = "Elsevier Science",
	ADDRESS = "Amsterdam, The Netherlands",
	ISSN = "0167-6423"
	}