Raimondas Sasnauskas, Jó Ágila Bitsch Link, Muhammad Hamad Alizai, Klaus Wehrle. KleeNet: automatic bug hunting in sensor network applications. In Tarek F. Abdelzaher, Margaret Martonosi, Adam Wolisz, editors, Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, SenSys 2007, Raleigh, NC, USA, November 5-7, 2008. pages 425-426, ACM, 2008. [doi]
Abstract is missing.