Andreas Löscher

Property-based testing of sensor networks

Konstantinos Sagonas, Thiemo Voigt, Andreas Löscher, 2015, 2015 12th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON).

Network-Wide Sensornet Checkpointing Made Practical

Vlado Handziski, Thiemo Voigt, Nicolas Tsiftes, 2013 .

Demo Abstract: Network-Wide Sensornet Checkpointing Made Practical

Vlado Handziski, Thiemo Voigt, Nicolas Tsiftes, 2013 .

Automating Targeted Property-Based Testing

Konstantinos Sagonas, Andreas Löscher, Konstantinos Sagonas, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

Targeted property-based testing

Konstantinos Sagonas, Andreas Löscher, Konstantinos Sagonas, 2017, ISSTA.

Efficient and Flexible Sensornet Checkpointing

Vlado Handziski, Thiemo Voigt, Nicolas Tsiftes, 2014, EWSN.

Targeted Property-Based Testing with Applications in Sensor Networks

Andreas Löscher, A. Löscher, 2018 .

The Nifty way to call hell from heaven

Konstantinos Sagonas, Andreas Löscher, 2016, Erlang Workshop.