@book{31585,
	author = {Jorgensen, Paul},
	title = {Software testing :},
	publisher = {CRC Press,},
	year = {c2002},
	address = {Boca Raton, Fla. :},
	edition = {2nd ed.}
}