Property-based testing of sensor networks.

Andreas Lscher, Konstantinos Sagonas, Thiemo Voigt

Browse the full SECON paper archive.