Abstract: In this tutorial, we discuss trade-offs in sensor system design. With examples from engineered systems in our laboratories, we address design considerations at the different system levels, ...

Property-based testing (PBT), i.e. generating random inputs and checking some property of the output, of pure programs is an established practice by now. It's taught in introductory university classes ...