Botelho, Juliana, Vinicius H. S. Durelli, Simone S. Borges, Andre T. Endo, Marcelo M. Eler, Marcio E. Delamaro, and Rafael S. Durelli. " On the costs of applying logic-based criteria to mobile applications: An empirical analysis of predicates in real-world Objective-C and Swift applications." Anais do II Simpósio Brasileiro de Testes de Software Sistemático e Automatizado, Fortaleza/CE, 2017. SBC, 2017, pp.31-39.