A SURVEY OF DATAMINING METHODS FOR SENSOR NETWORK BUG DIAGNOSIS - Managing and Mining Sensor Data - page 451

[52] H. Kim, S. Kim, T. Weninger, J. Han, and T. Abdelzaher.
Ndpmine: eciently mining discriminative numerical features for
pattern-based classification. In Proceedings of the 2010 Euro-
pean conference on Machine learning and knowledge discovery in
databases: Part II , ECML PKDD'10, pages 35-50, Berlin, Heidel-
berg, 2010. Springer-Verlag.
[53] N. Kothari, R. Gummadi, T. Millstein, and R. Govindan. Re-
liable and ecient programming abstractions for wireless sensor
networks. In Proceedings of the 2007 ACM SIGPLAN conference
on Programming language design and implementation , PLDI '07,
pages 200-210, New York, NY, USA, 2007. ACM.
[54] N. Kothari, T. Millstein, and R. Govindan. Deriving state ma-
chines from tinyos programs using symbolic execution. In Proceed-
ings of the 7th international conference on Information processing
in sensor networks , IPSN '08, pages 271-282, Washington, DC,
USA, 2008. IEEE Computer Society.
[55] N. Kothari, K. Nagaraja, V. Raghunathan, F. Sultan, and
S. Chakradhar. Hermes: A software architecture for visibility and
control in wireless sensor network deployments. In Proceedings of
the 7th international conference on Information processing in sen-
sor networks , IPSN '08, pages 395-406, Washington, DC, USA,
2008. IEEE Computer Society.
[56] V. Krunic, E. Trumpler, and R. Han. Nodemd: Diagnosing node-
level faults in remote wireless sensor systems. In In Proc. of the
5th International Conference on Mobile Systems, Applications and
Services (MobiSys) , pages 43-56, San Juan, Puerto Rico, June
2007.
[57] S. Kuma, S.-C. Khoo, A. Roychoudhury, and D. Lo. Mining mes-
sage sequence graphs. In In Proc. Int. Conf. on Software Eng.
(ICSE '11) , Honolulu, HI, May 2011.
[58] H. K. Le, D. Henriksson, and T. Abdelzaher. A practical multi-
channel media access control protocol for wireless sensor networks.
In Proceedings of the 7th international conference on Information
processing in sensor networks , IPSN '08, pages 70-81, Washington,
DC, USA, 2008. IEEE Computer Society.
[59] P. Levis, S. Madden, J. Polastre, R. Szewczyk, K. Whitehouse,
A. Woo, D. Gay, J. Hill, M. Welsh, E. Brewer, and D. Culler.
Tinyos: An operating system for sensor networks ambient intelli-
gence. Ambient Intelligence , pages 115-148, 2005.
[60] P. Li and J. Regehr. T-check: Bug finding for sensor networks.
In In Proc. of the 9th ACM/IEEE International Conference on