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

Publications

Year:

All :: 2007, 2008, 2010, 2011, ... , 2023

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

9.	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
8.	Ismet Aktas, Jens Otten, Florian Schmidt, and Klaus Wehrle Towards a Flexible and Versatile Cross-Layer-Coordination Architecture Proceedings of the 2010 INFOCOM IEEE Conference on Computer Communications Workshops, San Diego, CA, USA, page 1-5. Publisher: IEEE, March 2010 ISBN: 978-1-4244-6739-6
7.	Johannes Thiele, Jó Agila Bitsch Link, Okuary Osechas, Hanspeter Mallot, and Klaus Wehrle Dynamic Wireless Sensor Networks for Animal Behavior Research Chapter 32, page 629--644. Publisher: InTech, Vienna, Austria January 2010 ISBN: 978-953-7619-57-2 http://sciyo.com/articles...-animal-behavior-research http://www.intechopen.com...-animal-behavior-research

Export as: