Botelho, J., Durelli, V., Borges, S., Endo, A., Eler, M., Delamaro, M., & Durelli, R. (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, (pp. 31-39). Porto Alegre: SBC.