Raimondas Sasnauskas Jó Ágila Bitsch Link Muhammad Hamad Alizai Klaus Wehrle KleeNet: automatic bug hunting in sensor network applications. 425-426 2008 SenSys http://doi.acm.org/10.1145/1460412.1460485 conf/sensys/2008 db/conf/sensys/sensys2008.html#SasnauskasLAW08