Publications

2024

Doyle, Jordan, Laurent, Thomas, Ventresque, Anthony. 2024. PADRAIG: Precise Android Automated Input Generation. In: 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS). doi: 10.1109/QRS62785.2024.00017.

2023

Anthony, V, Doyle, J, Laurent, T. 2023. Modelling Android applications through static analysis and systematic exploratory testing. In: International Conference on Dependable Systems and Their Applications. doi: 10.1109/DSA59317.2023.00022.