Integrating symbolic execution with sensornet simulation for efficient bug finding.

Fredrik sterlind, Adam Dunkels, Raimondas Sasnauskas, Oscar Soria Dustmann, Klaus Wehrle

Browse the full SENSYS paper archive.