André Santos 0001, Alcino Cunha, Nuno Macedo. Property-based testing for the robot operating system. In Wishnu Prasetya, Tanja E. J. Vos, Sinem Getir, editors, Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 05, 2018. pages 56-62, ACM, 2018. [doi]
Abstract is missing.