Juliana Botelho et al. 2017. 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 Anais do II Simpósio Brasileiro de Testes de Software Sistemático e Automatizado, setembro 18, 2017, Fortaleza/CE, Brasil. SBC, Porto Alegre, Brasil, 31-39.