Sciweavers

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