Botelho, J., Durelli, V., Borges, S., Endo, A., Eler, M., Delamaro, M., & Durelli, R. 2017 set 18. 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 Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :