@book{45710,
	author = {Huang, J. C.},
	title = {Software error detection through testing and analysis /},
	publisher = {John Wiley & Sons,},
	year = {2009},
	address = {Hoboken, N.J. :}
}