Paper Info
Title
KleeNet: automatic bug hunting in sensor network applications
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.
Year
DOI
Venue
2008
10.1145/1460412.1460485
SenSys
Keywords
Field
DocType
possible input,bug hunting tool,sensor network application,memory safety,automatic bug hunting,application development life cycle,life cycle,sensor network,application development,type safety
Memory safety,Software deployment,Computer science,Real-time computing,Software development process,Type safety,Wireless sensor network,Embedded system
Conference
Citations 
PageRank 
References 
4
0.59
3
Authors
4
Name
Order
Citations
PageRank
Raimondas Sasnauskas11346.38
Jó Ágila Bitsch Link2936.88
Muhammad Hamad Alizai319019.96
Klaus Wehrle41062105.97