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

Openings

Research @ COMSYS

Research Groups

Research Overview

Publications

Year:

All :: 2010

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 :: Österlind

Fredrik Österlind, Raimondas Sasnauskas, Adam Dunkels, Oscar Soria Dustmann, and Klaus Wehrle

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

ISBN: 978-1-4503-0344-6

Export as:

- Impressum | Datenschutz -