"Property-based testing for the robot operating system."

André Santos, Alcino Cunha, Nuno Macedo (2018)
maintained by Schloss Dagstuhl LZI, founded at University of Trier