@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}
}
@inproceedings {Nguyen:2013:Mutation,
	title = {Testing Delegation Policy Enforcement via Mutation Analsysis},
	journal = {Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on},
	year = {2013},
	month = {03/2013},
	pages = {34-42},
	publisher = {IEEE},
	keywords = {access control, delegation, dynamic adaptation, Model Composition, model-driven engineering, Model-Driven Security},
	isbn = {978-1-4799-1324-4},
	doi = {10.1109/ICSTW.2013.12},
	url = {http://dx.doi.org/10.1109/ICSTW.2013.12},
	author = {Phu Hong {Nguyen} and Papadakis, Mike and Rubab, Iram}
}
