Nupur Kothari, Todd D. Millstein, Ramesh Govindan. Deriving State Machines from TinyOS Programs Using Symbolic Execution. In Proceedings of the 7th International Conference on Information Processing in Sensor Networks, IPSN 2008, St. Louis, Missouri, USA, April 22-24, 2008. pages 271-282, IEEE Computer Society, 2008. [doi]
Abstract is missing.