%0 Conference Paper
%D 2018
%T Property-Based Testing for the Robot Operating System
%A André Santos
%A Alcino Cunha
%A Nuno Macedo
%C Lake Buena Vista, FL, USA
%I ACM
%U https://doi.org/10.1145/3278186.3278195
%8 5 November
%> https://haslab.uminho.pt/sites/default/files/afsantos/files/ros_random_test.pdf