@book{31558,
	author = {Ammann, Paul},
	title = {Introduction to software testing},
	publisher = {Cambridge University Press},
	year = {2017},
	edition = {2nd,ed.}
}