Integrating Symbolic Execution with Sensornet Simulation for Efficient Bug Finding

Conference object OPEN
Österlind, Fredrik; Sasnauskas, Raimondas; Dustmann, Oscar Soria; Dunkels, Adam; Wehrle, Klaus;

High-coverage testing of sensornet applications is vital for pre-deployment bug cleansing, but has previously been difficult due to the limited set of available tools. We integrate the KleeNet symbolic execution engine with the COOJA network simulator to all... View more
Share - Bookmark