% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-07-04
% Creation time: 05-25-22
% --- Number of references
% 5
% 

@Inproceedings { 2010-sensys-sasnauskas-coojakleenet,
   title = {Demo Abstract: Integrating Symbolic Execution with Sensornet Simulation for Efficient Bug Finding},
   year = {2010},
   month = {11},
   pages = {383--384},
   abstract = {High-coverage testing of sensornet applications is vital for pre-deployment bug cleansing, but has previously been difficult due to the limited set of available tools. We integrate the KleeNet symbolic execution engine with the COOJA network simulator to allow for straight-forward and intuitive high-coverage testing initiated from a simulation environment. A tight coupling of simulation and testing helps detect, narrow down, and fix complex interaction bugs in an early development phase. We demonstrate the seamless transition between COOJA simulation and KleeNet symbolic execution. Our framework enables future research in how high-coverage testing tools could be used in cooperation with simulation tools.},
   tags = {kleenet},
   url = {fileadmin/papers/2010/2010-osterlind_sasnauskas-sensys-coojakleenet.pdf},
   misc2 = {Print},
   publisher = {ACM},
   address = {New York, NY, USA},
   booktitle = {Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems (SenSys 2010), Zurich, Switzerland},
   language = {en},
   ISBN = {978-1-4503-0344-6},
   DOI = {http://doi.acm.org/10.1145/1869983.1870034},
   reviewed = {1},
   author = {{\"O}sterlind, Fredrik and Sasnauskas, Raimondas and Dunkels, Adam and Soria Dustmann, Oscar and Wehrle, Klaus}
}

@Inproceedings { 2010softcomweingaertnerprotocolanalysis,
   title = {Flexible Analysis of Distributed Protocol Implementations using Virtual Time},
   year = {2010},
   month = {9},
   day = {23},
   pages = {225 - 229},
   note = {available in IEEE Xplore},
   url = {https://www.comsys.rwth-aachen.de/fileadmin/papers/2010/2010-weingaertner-softcom-analysis.pdf},
   misc2 = {Online},
   publisher = {FESB},
   address = {Split, Croatia},
   booktitle = {Proceedings of the 18th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2010)},
   event_place = {Hvar, Croatia},
   language = {en},
   ISBN = {978-1-4244-8663-2},
   reviewed = {1},
   author = {Weingaertner, Elias and Ritter, Marko and Sasnauskas, Raimondas and Wehrle, Klaus}
}

@Inbook { 2010-simtools-sasnauskas-transport,
   title = {Modeling Transport Layer Protocols},
   year = {2010},
   month = {6},
   pages = {389-399},
   misc2 = {Print},
   editor = {Klaus Wehrle, Mesut Guenes, James Gross},
   publisher = {Springer},
   address = {Germany},
   chapter = {17},
   booktitle = {Modeling and Tools for Network Simulation},
   language = {en},
   ISBN = {978-3-642-12330-6},
   reviewed = {1},
   author = {Sasnauskas, Raimondas and Weingaertner, Elias}
}

@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}
}

@Inproceedings { 20104-IPSN-alizai-svr,
   title = {Poster Abstract: Statistical Vector based Point-to-Point Routing in Wireless Networks},
   year = {2010},
   month = {4},
   day = {12},
   pages = {366-367},
   abstract = {We present Statistical Vector Routing (SVR), a protocol that efficiently deals with communication link dynamics in wireless networks. It assigns virtual coordinates to nodes based on the statistical distribution of their distance from a small set of beacons. The distance metric predicts the current location of a node in its address distribution. Our initial results from a prototype implementation over real testbeds demonstrate the feasibility of SVR.},
   tags = {wld},
   url = {https://www.comsys.rwth-aachen.de/fileadmin/papers/2010/2010-alizai-ipsn-pad.pdf},
   web_url = {http://portal.acm.org/citation.cfm?id=1791257},
   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},
   event_place = {Stockholm, Sweden},
   event_name = {9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010)},
   event_date = {April 12-16, 2010},
   language = {en},
   ISBN = {978-1-60558-988-6},
   reviewed = {1},
   author = {Alizai, Muhammad Hamad and Vaegs, Tobias and Landsiedel, Olaf and Sasnauskas, Raimondas and Wehrle, Klaus}
}