@inproceedings{da3fa193ac8a45569e4106458a656483,
title = "PADRAIG: Precise Android Automated Input Generation",
keywords = "Android, Automated, Modelling, Test Generation, Testing",
author = "Jordan Doyle and Thomas Laurent and Anthony Ventresque",
note = "Publisher Copyright: {\textcopyright} 2024 IEEE.; 24th IEEE International Conference on Software Quality, Reliability and Security, QRS 2024 ; Conference date: 01-07-2024 Through 05-07-2024",
year = "2024",
doi = "10.1109/QRS62785.2024.00017",
language = "English",
series = "IEEE International Conference on Software Quality, Reliability and Security, QRS",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "72--83",
booktitle = "Proceedings - 2024 IEEE 24th International Conference on Software Quality, Reliability and Security, QRS 2024",
}