Botelho, J., Durelli, V., Borges, S., Endo, A., Eler, M., Delamaro, M., & Durelli, R. 2017 Sep 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. Proceedings of the Brazilian Symposium on Systematic and Automated Software Testing (SAST). [Online] :