@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} }