Targeted Property-Based Testing with Applications in Sensor Networks

Andreas Löscher. Targeted Property-Based Testing with Applications in Sensor Networks. PhD thesis, Uppsala University, Sweden, 2018. [doi]

Abstract

Abstract is missing.