KleeNet: Discovering insidious interaction bugs in wireless sensor networks before deployment

Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN '10

Volumn , Issue , 2010, Pages 186-196

  Sasnauskas, Raimondas ^a   Landsiedel, Olaf ^a   Alizai, Muhammad Hamad ^a   Weise, Carsten ^a   Kowalewski, Stefan ^a   Wehrle, Klaus ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

automated protocol testing; experimentation; failure detection; wireless sensor networks

Indexed keywords

AUTOMATED TESTING; COMPLEX INTERACTION; DISTRIBUTED EXECUTION; EXPERIMENTATION; FAILURE DETECTION; PROTOCOL TESTING; SENSOR NETWORK APPLICATIONS; TCP/IP PROTOCOL; TESTING AND DEBUGGING;

AUTOMATION; DATA PROCESSING; EXPERIMENTS; INTERNET PROTOCOLS; SENSOR NETWORKS;

WIRELESS SENSOR NETWORKS;

EID: 77954523986     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1791212.1791235     Document Type: Conference Paper

References (40)

1. S. Anand, C. S. Pasareanu, and W. Visser. JPF-SE: A Symbolic Execution Extension to Java Pathfinder. In TACAS, 2007.
2. P. Ballarini and A. Miller. Model Checking Medium Access Control for Sensor Networks. In ISOLA, 2006.
3. G. Barrenetxea, F. Ingelrest, G. Schaefer, and M. Vetterli. The Hitchhiker's Guide to Successful Wireless Sensor Network Deployments. In SenSys, 2008.
4. C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI, 2008.
5. Q. Cao, T. Abdelzaher, J. Stankovic, K. Whitehouse, and L. Luo. Declarative Tracepoints: A Programmable and Application Independent Debugging System for Wireless Sensor Networks. In SenSys, 2008.
6. Y. Chen, O. Gnawali, M. Kazandjieva, P. Levis, and J. Regehr. Surviving Sensor Network Software Faults. In SOSP, 2009.
7. N. Cooprider, W. Archer, E. Eide, D. Gay, and J. Regehr. Efficient Memory Safety for TinyOS. In SenSys, 2007.
8. A. Dunkels. Full TCP/IP for 8-bit Architectures. In MobiSys, 2003.
9. A. Dunkels, B. Gronvall, and T. Voigt. Contiki - A Lightweight and Flexible Operating System for Tiny Networked Sensors. In LCN, 2004.
10. O. Gnawali, R. Fonseca, K. Jamieson, D. Moss, and P. Levis. Collection Tree Protocol. In SenSys, 2009.
11. J. W. Hui and D. Culler. The Dynamic Behavior of a Data Dissemination Protocol for Network Programming at Scale. In SenSys, 2004.
12. M. M. H. Khan, H. K. Le, H. Ahmadi, T. F. Abdelzaher, and J. Han. Dustminer: Troubleshooting Interactive Complexity Bugs in Sensor Networks. In SenSys, 2008.
13. J. C. King. Symbolic Execution and Program Testing. Communications of the ACM, 19(7):385-394, 1976.
14. N. Kothari, T. Millstein, and R. Govindan. Deriving State Machines from TinyOS Programs Using Symbolic Execution. In IPSN/SPOTS, 2008.
15. V. Krunic, E. Trumpler, and R. Han. NodeMD: Diagnosing Node-level Faults in Remote Wireless Sensor Systems. In MobiSys, 2007.
16. K. Langendoen, A. Baggio, and O. Visser. Murphy Loves Potatoes: Experiences from a Pilot Sensor Network Deployment in Precision Agriculture. In WPDRTS, 2006.
17. P. Levis, N. Lee, M. Welsh, and D. Culler. TOSSIM: Accurate and Scalable Simulation of Entire TinyOS Applications. In SenSys, 2003.
18. P. Levis, S. Madden, J. Polastre, R. Szewczyk, K. Whitehouse, A. Woo, D. Gay, J. Hill, M. Welsh, E. Brewer, and D. Culler. TinyOS: An Operating System for Sensor Networks. In Ambient Intelligence, pages 115-148. 2005.
19. K. Liu, M. Li, X. Yang, and M. Jiang. Passive Diagnosis for Wireless Sensor Networks. In SenSys, 2008.
20. L. Luo, T. He, G. Zhou, L. Gu, T. F. Abdelzaher, and J. A. Stankovic. Achieving Repeatability of Asynchronous Events in Wireless Sensor Networks with EnviroLog. In INFOCOM, 2006.
21. P. C. Ölveczky and S. Thorvaldsen. Formal Modeling, Performance Estimation, and Model Checking of Wireless Sensor Network Algorithms in Real-Time Maude. Theor. Comput. Sci., 410(2-3):254-280, 2009.
22. F. Österlind, A. Dunkels, J. Eriksson, N. Finne, and T. Voigt. Cross-level Sensor Network Simulation with COOJA. EWSN, 2006.
23. J. Polley, D. Blazakis, J. McGee, D. Rusk, J. Baras, and M. Karir. ATEMU: A Fine-grained Sensor Network Simulator. In SECON, 2004.
24. N. Ramanathan, K. Chang, R. Kapur, L. Girod, E. Kohler, and D. Estrin. Sympathy for the Sensor Network Debugger. In SenSys, 2005.
25. K. Römer and J. Ma. PDA: Passive Distributed Assertions for Sensor Networks. In IPSN/SPOTS, 2009.
26. R. Sasnauskas, J. A. B. Link, M. H. Alizai, and K. Wehrle. Poster Abstract: KleeNet: Automatic Bug Hunting in Sensor Network Applications. In SenSys, 2008.
27. L. Selavo, A. Wood, Q. Cao, T. Sookoor, H. Liu, A. Srinivasan, Y. Wu, W. Kang, J. Stankovic, D. Young, and J. Porter. LUSTER: Wireless Sensor Network for Environmental Research. In SenSys, 2007.
28. K. Sen, D. Marinov, and G. Agha. Cute: a concolic unit testing engine for c. In ESEC/FSE-13, 2005.
29. T. Sookoor, T. Hnat, P. Hooimeijer, W. Weimer, and K. Whitehouse. Macrodebugging: Global Views of Distributed Program Execution. In SenSys, 2009.
30. R. Szewczyk, J. Polastre, A. M. Mainwaring, and D. E. Culler. Lessons from a Sensor Network Expedition. In EWSN, 2004.
31. B. L. Titzer, D. K. Lee, and J. Palsberg. Avrora: Scalable Sensor Network Simulation with Precise Timing. In IPSN/SPOTS, 2005.
32. G. Tolle and D. Culler. Design of An Application-cooperative Management System for Wireless Sensor Networks. In EWSN, 2005.
33. G. Tolle, J. Polastre, R. Szewczyk, D. Culler, N. Turner, K. Tu, S. Burgess, T. Dawson, P. Buonadonna, D. Gay, and W. Hong. A Macroscope in the Redwoods. In SenSys, 2005.
34. P. Völgyesi, M. Maróti, S. Dóra, E. Osses, and A. Lédeczi. Software Composition and Verification for Sensor Networks. Sci. Comput. Program., 56(1-2):191-210, 2005.
35. M. Wachs, J. I. Choi, J. W. Lee, K. Srinivasan, Z. Chen, M. Jain, and P. Levis. Visibility: A New Metric for Protocol Design. In SenSys, 2007.
36. 2DB: a Novel Simulation-based Debugger for Sensor Network Applications. In EMSOFT, 2006.
37. G. Werner-Allen, K. Lorincz, J. Johnson, J. Lees, and M. Welsh. Fidelity and Yield in a Volcano Monitoring Sensor Network. In OSDI, 2006.
38. K. Whitehouse, G. Tolle, J. Taneja, C. Sharp, S. Kim, J. Jeong, J. Hui, P. Dutta, and D. Culler. Marionette: Using RPC for Interactive Development and Debugging of Wireless Embedded Networks. In IPSN/SPOTS, 2006.
39. M. Yabandeh, N. Knezevic, D. Kostic, and V. Kuncak. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. In NSDI, 2009.
40. J. Yang, M. L. Soffa, L. Selavo, and K. Whitehouse. Clairvoyant: a Comprehensive Source-level Debugger for Wireless Sensor Networks. In SenSys, 2007.