Dynamic Bug Detection In Tinyos Operating Environments