Sciweavers

3 search results - page 1 / 1
» T-check: bug finding for sensor networks
Sort
View
IPSN
2010
Springer
16 years 2 months ago
T-check: bug finding for sensor networks
Peng Li, John Regehr
173
Voted
SENSYS
2010
ACM
15 years 5 months ago
Integrating symbolic execution with sensornet simulation for efficient bug finding
Fredrik Österlind, Adam Dunkels, Raimondas Sa...
DCOSS
2009
Springer
16 years 1 months ago
Finding Symbolic Bug Patterns in Sensor Networks
Abstract. This paper presents a failure diagnosis algorithm for summarizing and generalizing patterns that lead to instances of anomalous behavior in sensor networks. Often multipl...
Mohammad Maifi Hasan Khan, Tarek F. Abdelzaher, Ji...