F. L. Palma et al.,  "Automated security testing of android applications for secure mobile development", in IEEE Int. Conf. on Software Testing, Verification and Validation Workshops, Porto, IEEE, 2020, pp. 222-231