Abstract
We present KleeNet, a Klee based bug hunting tool for sensor network applications before deployment. KleeNet automatically tests code for all possible inputs, ensures memory safety, and integrates well into TinyOS based application development life cycle, making it easy for developers to test their applications.
Type
Publication
Proceedings of the 6th ACM conference on Embedded network sensor systems (SenSys'08)
Dr. Jó Agila Bitsch
Asst. Prof. Dr. Muhammad Hamad Alizai
LUMS, Lahore, Pakistan
