Sciweavers

3 search results - page 1 / 1
» T-check: bug finding for sensor networks
Sort
View
128
Voted
IPSN
2010
Springer
15 years 4 months ago
T-check: bug finding for sensor networks
Peng Li, John Regehr
75
Voted
SENSYS
2010
ACM
14 years 7 months ago
Integrating symbolic execution with sensornet simulation for efficient bug finding
Fredrik Österlind, Adam Dunkels, Raimondas Sa...
84
Voted
DCOSS
2009
Springer
15 years 4 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...