@book{49829,
	author = {Huang, J. C., and ebrary, Inc.},
	title = {Software error detection through testing and analysis},
	publisher = {John Wiley & Sons,},
	year = {c2009.},
	address = {Hoboken, N.J. :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10332960}
}