Property-based testing for the robot operating system

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]

@inproceedings{0001CM18-1,
  title = {Property-based testing for the robot operating system},
  author = {André Santos 0001 and Alcino Cunha and Nuno Macedo},
  year = {2018},
  doi = {10.1145/3278186.3278195},
  url = {https://doi.org/10.1145/3278186.3278195},
  researchr = {https://researchr.org/publication/0001CM18-1},
  cites = {0},
  citedby = {0},
  pages = {56-62},
  booktitle = {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},
  editor = {Wishnu Prasetya and Tanja E. J. Vos and Sinem Getir},
  publisher = {ACM},
  isbn = {978-1-4503-6053-1},
}