@book {26166,
	title = {Editorial to the Theme Issue on Model-based Testing},
	year = {2018},
	publisher = { Springer},
	address = {Software \& Systems Modeling},
	author = {Papadakis, Mike and Ali, Shaukat and Perrouin, Gilles}
}
