J. Botelho <em>et al.</em>" On the costs of applying logic-based criteria to mobile applications: An empirical analysis of predicates in real-world Objective-C and Swift applications", in <em>Anais do II Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, Fortaleza/CE, 2017, pp. 31-39.