Kleenet

Integration Testing of Protocol Implementations using Symbolic Distributed Execution
Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukić, Klaus Wehrle
PDF Cite DOI
Position Paper: Symbolic System Time in Distributed Systems Testing
We propose an extension of symbolic execution of distributed systems to test software parts related to timing. Currently, the execution …
Oscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle
PDF Cite
Scalable Symbolic Execution of Distributed Systems
Recent advances in symbolic execution have proposed a number of promising solutions to automatically achieve high-coverage and explore …
Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Carsten Weise, Stefan Kowalewski, Klaus Wehrle
PDF Cite DOI
Demo Abstract: Integrating Symbolic Execution with Sensornet Simulation for Efficient Bug Finding
High-coverage testing of sensornet applications is vital for pre-deployment bug cleansing, but has previously been difficult due to the …
Fredrik Österlind, Raimondas Sasnauskas, Adam Dunkels, Oscar Soria Dustmann, Klaus Wehrle
PDF Cite DOI
KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a …
PDF Cite DOI
Poster Abstract: KleeNet - Automatic Bug Hunting in Sensor Network Applications
We present KleeNet, a Klee based bug hunting tool for sensor network applications before deployment. KleeNet automatically tests code …
PDF Cite DOI
Bug Hunting in Sensor Network Applications
Testing sensor network applications is an essential and a difficult task. Due to their distributed and faulty nature, severe resource …
PDF Cite