| Targeted property-based testing A Löscher, K Sagonas Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 51 | 2017 |
| Automating targeted property-based testing A Löscher, K Sagonas 2018 IEEE 11th International Conference on Software Testing, Verification …, 2018 | 28 | 2018 |
| Property-based testing of sensor networks A Löscher, K Sagonas, T Voigt 2015 12th Annual IEEE International Conference on Sensing, Communication …, 2015 | 10 | 2015 |
| FAUSTA: scaling dynamic analysis with traffic generation at whatsapp K Mao, T Kapus, L Petrou, Á Hajdu, M Marescotti, A Löscher, M Harman, ... 2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022 | 8 | 2022 |
| The Nifty way to call hell from heaven A Löscher, K Sagonas Proceedings of the 15th International Workshop on Erlang, 1-11, 2016 | 6 | 2016 |
| Efficient and flexible sensornet checkpointing A Löscher, N Tsiftes, T Voigt, V Handziski Wireless Sensor Networks: 11th European Conference, EWSN 2014, Oxford, UK …, 2014 | 4 | 2014 |
| Targeted property-based testing with applications in sensor networks A Löscher Acta Universitatis Upsaliensis, 2018 | 1 | 2018 |
| Demo Abstract: Network-Wide Sensornet Checkpointing Made Practical A Löscher, N Tsiftes, T Voigt, V Handziski European Conference on Wireless Sensor Networks (EWSN), 2013 | | 2013 |
| Network-Wide Sensornet Checkpointing Made Practical A Löscher, N Tsiftes, T Voigt, V Handziski EWSN 2013, 2013 | | 2013 |
