% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-07-03
% Creation time: 19-18-54
% --- Number of references
% 1
% 

@Inproceedings { 2010-ipsn-sasnauskas-kleenet,
   title = {KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment},
   year = {2010},
   month = {4},
   day = {12},
   pages = {186--196},
   abstract = {Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs that occur due to non-deterministic events, such as node reboots or packet duplicates. Often, these events have the potential to drive a sensor network and its applications into corner-case situations, exhibiting bugs that are hard to detect using existing testing and debugging techniques. In this paper, we present KleeNet, a debugging environment that effectively discovers such bugs before deployment. KleeNet executes unmodified sensor network applications on symbolic input and automatically injects non-deterministic failures. As a result, KleeNet generates distributed execution paths at high-coverage, including low-probability corner-case situations. As a case study, we integrated KleeNet into the Contiki OS and show its effectiveness by detecting four insidious bugs in the uIP TCP/IP protocol stack. One of these bugs is critical and lead to refusal of further connections.},
   keywords = {automated protocol testing, experimentation, failure detection, wireless sensor networks},
   tags = {kleenet},
   url = {fileadmin/papers/2010/2010-04-ipsn-sasnauskas-KleeNet.pdf},
   misc2 = {Print},
   publisher = {ACM},
   address = {New York, NY, USA},
   booktitle = {Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010), Stockholm, Sweden},
   language = {en},
   ISBN = {978-1-60558-988-6},
   DOI = {http://doi.acm.org/10.1145/1791212.1791235},
   reviewed = {1},
   author = {Sasnauskas, Raimondas and Landsiedel, Olaf and Alizai, Muhammad Hamad and Weise, Carsten and Kowalewski, Stefan and Wehrle, Klaus}
}