Property-based testing for the robot operating system.

André Santos Alcino Cunha Nuno Macedo

Published in: A-TEST@ESEC/SIGSOFT FSE (2018)

Keyphrases

operating system
mobile robot
computer systems
operating environment
microsoft windows
virtual machine
windows xp
distributed systems
application programs
virtual memory
linux kernel
command line
previously mentioned
database systems
multi tasking
address space
query processing
data structure