@inproceedings {26799,
	title = {RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots},
	journal = {International Conference on Principles and Practice of Constraint Programming},
	volume = {12333},
	year = {2020},
	month = {08/2020},
	pages = {1-17},
	publisher = {Springer},
	edition = {LNCS},
	author = {Collet, Mathieu and Gotlieb, Arnaud and Lazaar, Nadjib and Carlsson, Mats and Marijan, Dusica and Mossige, Morten},
	editor = {Simonis, Helmut}
}
