@conference {3874,
	title = {Property-Based Testing for the Robot Operating System},
	year = {2018},
	month = {5 November},
	publisher = {ACM},
	organization = {ACM},
	address = {Lake Buena Vista, FL, USA},
	url = {https://doi.org/10.1145/3278186.3278195},
	attachments = {https://haslab.uminho.pt/sites/default/files/afsantos/files/ros_random_test.pdf},
	author = {Andr{\'e} Santos and Alcino Cunha and Nuno Macedo}
}