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 Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing, (pp. 31-39). Porto Alegre: SBC.