Demo Abstract: Integrating Symbolic Execution with Sensornet Simulation for Efficient Bug Finding

Österlind, Fredrik; Sasnauskas, Raimondas; Dunkels, Adam; Soria Dustmann, Oscar; Wehrle, Klaus; Weingaertner, Elias; Ritter, Marko; Sasnauskas, Raimondas; Wehrle, Klaus; Sasnauskas, Raimondas; Weingaertner, Elias; Sasnauskas, Raimondas; Landsiedel, Olaf; Alizai, Muhammad Hamad; Weise, Carsten; Kowalewski, Stefan; Wehrle, Klaus; Alizai, Muhammad Hamad; Vaegs, Tobias; Landsiedel, Olaf; Sasnauskas, Raimondas; Wehrle, Klaus

doi:http://doi.acm.org/10.1145/1869983.1870034

Publications

Year:

All :: 2008, 2010, 2011, 2012

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

All :: Saad, ... , Sasnaukas, Sasnauskas, Schäfer, ... , Stüble

7.	Fredrik Österlind, Raimondas Sasnauskas, Adam Dunkels, Oscar Soria Dustmann, and Klaus Wehrle Demo Abstract: Integrating Symbolic Execution with Sensornet Simulation for Efficient Bug Finding Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems (SenSys 2010), Zurich, Switzerland, page 383--384. Publisher: ACM, New York, NY, USA November 2010 DOI: http://doi.acm.org/10.1145/1869983.1870034 ISBN: 978-1-4503-0344-6
6.	Elias Weingaertner, Marko Ritter, Raimondas Sasnauskas, and Klaus Wehrle Flexible Analysis of Distributed Protocol Implementations using Virtual Time Proceedings of the 18th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2010), page 225 - 229. Publisher: FESB, Split, Croatia September 2010 ISBN: 978-1-4244-8663-2
5.	Raimondas Sasnauskas and Elias Weingaertner Modeling Transport Layer Protocols Chapter 17, page 389-399. Publisher: Springer, Germany June 2010 ISBN: 978-3-642-12330-6
4.	Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, and Klaus Wehrle 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 2010), Stockholm, Sweden, page 186--196. Publisher: ACM, New York, NY, USA April 2010 DOI: http://doi.acm.org/10.1145/1791212.1791235 ISBN: 978-1-60558-988-6
3.	Muhammad Hamad Alizai, Tobias Vaegs, Olaf Landsiedel, Raimondas Sasnauskas, and Klaus Wehrle Poster Abstract: Statistical Vector based Point-to-Point Routing in Wireless Networks Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010), Stockholm, Sweden, page 366-367. Publisher: ACM, New York, NY, USA April 2010 ISBN: 978-1-60558-988-6 http://portal.acm.org/citation.cfm?id=1791257

Export as:

BibTeX, XML