KleeNet: automatic bug hunting in sensor network applications.

Raimondas Sasnauskas, J gila Bitsch Link, Muhammad Hamad Alizai, Klaus Wehrle

Browse the full SENSYS paper archive.