@inproceedings{AAGR19,
	author = {Andr{\'e}, {\'E}tienne and Arcaini, Paolo and Gargantini, Angelo and Radavelli, Marco},
	title = {Repairing Timed Automata Clock Guards through Abstraction and Testing},
	longbooktitle = {Proceedings of the 13th International Conference on Tests and Proofs ({TAP} 2019), Held as Part of the Third World Congress on Formal Methods 2019},
	booktitle = {{TAP}},
	editor = {Dirk Beyer and Chantal Keller},
	location = {Porto, Portugal},
	eventdate = {2019-10-09/2019-10-11},
	pages     = {129--146},
	publisher = {Springer},
	series    = {\LNCS{}},
	volume    = {11823},
	year = {2019},
	doi       = {10.1007/978-3-030-31157-5_9},
	lipn-category = {intc},
	keywords = {intc},
	note = {To appear},
	coreRank = {B},
}