Andreas Löscher, Konstantinos F. Sagonas, Thiemo Voigt. Property-based testing of sensor networks. In 12th Annual IEEE International Conference on Sensing, Communication, and Networking, SECON 2015, Seattle, WA, USA, June 22-25, 2015. pages 100-108, IEEE, 2015. [doi]
Abstract is missing.