@book{15907,
	author = {Craig, Rick D.},
	title = {Systematic software testing},
	publisher = {: Artech House},
	year = {, 2002.},
	address = {Boston }
}