{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:26Z","timestamp":1750221266975,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,18]],"date-time":"2017-09-18T00:00:00Z","timestamp":1505692800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,18]]},"DOI":"10.1145\/3128473.3128477","type":"proceedings-article","created":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T12:27:52Z","timestamp":1504268872000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["On the costs of applying logic-based criteria to mobile applications"],"prefix":"10.1145","author":[{"given":"Juliana","family":"Botelho","sequence":"first","affiliation":[{"name":"Universidade Federal de Lavras"}]},{"given":"Vinicius H. S.","family":"Durelli","sequence":"additional","affiliation":[{"name":"Universidade Federal de S\u00e3o Jo\u00e3o, del-Rei"}]},{"given":"Simone S.","family":"Borges","sequence":"additional","affiliation":[{"name":"Universidade de S\u00e3o Paulo"}]},{"given":"Andre T.","family":"Endo","sequence":"additional","affiliation":[{"name":"Universidade Tecnol\u00f3gica Federal do, Paran\u00e1"}]},{"given":"Marcelo M.","family":"Eler","sequence":"additional","affiliation":[{"name":"Universidade de S\u00e3o Paulo"}]},{"given":"Marcio E.","family":"Delamaro","sequence":"additional","affiliation":[{"name":"Universidade de S\u00e3o Paulo"}]},{"given":"Rafael S.","family":"Durelli","sequence":"additional","affiliation":[{"name":"Universidade Federal de Lavras"}]}],"member":"320","published-online":{"date-parts":[[2017,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2003.1251034"},{"volume-title":"Understanding Statistics","author":"Chalmer J.","key":"e_1_3_2_1_3_1","unstructured":"Bruce J. Chalmer . 1986. Understanding Statistics . CRC Press . 448 pages. Bruce J. Chalmer. 1986. Understanding Statistics. CRC Press. 448 pages."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"e_1_3_2_1_6_1","volume-title":"Statistical Power Analysis for the Behavioral Sciences","author":"Cohen J.","unstructured":"J. Cohen . 1988. Statistical Power Analysis for the Behavioral Sciences ( 2 nd ed.). Routledge Academic . 567 pages. J. Cohen. 1988. Statistical Power Analysis for the Behavioral Sciences (2nd ed.). Routledge Academic. 567 pages.","edition":"2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.12.022"},{"key":"e_1_3_2_1_8_1","unstructured":"J. Miles and M. Shevlin. 2000. Applying Regression and Correlation: A Guide for Students and Researchers. Sage Publications. 274 pages.  J. Miles and M. Shevlin. 2000. Applying Regression and Correlation: A Guide for Students and Researchers. Sage Publications. 274 pages."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2003.12.019"},{"key":"e_1_3_2_1_10_1","volume-title":"Accessed","author":"Apps OS","year":"2017","unstructured":"Open-Source i OS Apps . 2017 . https:\/\/github.com\/dkhamsing\/open-source-ios-apps. (2017) . Accessed : May 20, 2017. Open-Source iOS Apps. 2017. https:\/\/github.com\/dkhamsing\/open-source-ios-apps. (2017). Accessed: May 20, 2017."},{"key":"e_1_3_2_1_11_1","volume-title":"The Definitive ANTLR 4 Reference","author":"Parr T.","unstructured":"T. Parr . 2013. The Definitive ANTLR 4 Reference ( 2 nd ed.). Pragmatic Bookshelf . 328 pages. T. Parr. 2013. The Definitive ANTLR 4 Reference (2nd ed.). Pragmatic Bookshelf. 328 pages.","edition":"2"},{"key":"e_1_3_2_1_12_1","volume-title":"Software Considerations in Airborne Systems and Equipment Certification. (December","author":"B.","year":"1992","unstructured":"RTCA-DO-178 B. 1992. Software Considerations in Airborne Systems and Equipment Certification. (December 1992 ). RTCA-DO-178B. 1992. Software Considerations in Airborne Systems and Equipment Certification. (December 1992)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-012-9227-7"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.03.065"}],"event":{"name":"SAST '17: 2nd Brazilian Symposium on Systematic and Automated Software Testing","sponsor":["SBC Sociedade Brasileira de Computa\u00e7\u00e3o"],"location":"Fortaleza Brazil","acronym":"SAST '17"},"container-title":["Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3128473.3128477","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3128473.3128477","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:01Z","timestamp":1750212661000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3128473.3128477"}},"subtitle":["An empirical analysis of predicates in real-world Objective-C and Swift applications"],"short-title":[],"issued":{"date-parts":[[2017,9,18]]},"references-count":14,"alternative-id":["10.1145\/3128473.3128477","10.1145\/3128473"],"URL":"https:\/\/doi.org\/10.1145\/3128473.3128477","relation":{},"subject":[],"published":{"date-parts":[[2017,9,18]]},"assertion":[{"value":"2017-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}