{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:58Z","timestamp":1750309318961,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["LA\/P\/0063\/2020","UIDB\/50021\/2020"],"award-info":[{"award-number":["LA\/P\/0063\/2020","UIDB\/50021\/2020"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,14]]},"DOI":"10.1145\/3639478.3643536","type":"proceedings-article","created":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T10:49:26Z","timestamp":1716461366000},"page":"400-401","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["How are Contracts Used in Android Mobile Applications?"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3120-2794","authenticated-orcid":false,"given":"David R.","family":"Ferreira","sequence":"first","affiliation":[{"name":"University of Porto, Faculty of Engineering, Porto, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8060-5920","authenticated-orcid":false,"given":"Alexandra","family":"Mendes","sequence":"additional","affiliation":[{"name":"Faculty of Engineering, HASLab \/ INESC TEC & Faculty of Engineering, University of Porto, Porto, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6612-9013","authenticated-orcid":false,"given":"Joao F.","family":"Ferreira","sequence":"additional","affiliation":[{"name":"INESC-ID & IST, University of Lisbon, Lisbon, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2024,5,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Assert Use in GitHub Projects. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering (ICSE). Proceedings","volume":"1","author":"Casalnuovo C.","unstructured":"C. Casalnuovo, P. Devanbu, A. Oliveira, V. Filkov, and B. Ray. 2015. Assert Use in GitHub Projects. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering (ICSE). Proceedings, Vol. 1. Los Alamitos, CA, USA."},{"volume-title":"Contracts in the Wild: A Study of Java Programs. In 31st European Conference on Object-Oriented Programming (ECOOP 2017) (Leibniz International Proceedings in Informatics (LIPIcs)","author":"Dietrich J.","key":"e_1_3_2_1_2_1","unstructured":"J. Dietrich, D. J. Pearce, K. Jezek, and P. Brada. 2017. Contracts in the Wild: A Study of Java Programs. In 31st European Conference on Object-Oriented Programming (ECOOP 2017) (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 74). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany."},{"volume-title":"Contracts in Practice. In FM 2014: Formal Methods. 19th International Symposium. Proceedings: LNCS 8442","author":"Estler H.-C.","key":"e_1_3_2_1_3_1","unstructured":"H.-C. Estler, C. A. Furia, M. Nordio, M. Piccioni, and B. Meyer. 2014. Contracts in Practice. In FM 2014: Formal Methods. 19th International Symposium. Proceedings: LNCS 8442. Cham, Switzerland, 230 -- 46."},{"key":"e_1_3_2_1_4_1","volume-title":"Ferreira","author":"Ferreira David R.","year":"2024","unstructured":"David R. Ferreira, Alexandra Mendes, and Jo\u00e3o F. Ferreira. 2024. Contract Usage and Evolution in Android Mobile Applications. arXiv:2401.14244 [cs.SE]"},{"volume-title":"Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering. 298--307","author":"Kochhar P.","key":"e_1_3_2_1_5_1","unstructured":"P. Kochhar and D. Lo. 2017. Revisiting Assert Use in GitHub Projects. In Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering. 298--307."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3524613.3527815"},{"key":"e_1_3_2_1_8_1","volume-title":"2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS). IEEE, 62--69","author":"Ribeiro Ana","year":"2021","unstructured":"Ana Ribeiro, Jo\u00e3o F. Ferreira, and Alexandra Mendes. 2021. Ecoandroid: An Android studio plugin for developing energy-efficient Java mobile applications. In 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS). IEEE, 62--69."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 36th International Conference on Software Engineering","author":"Schiller T. W.","year":"2014","unstructured":"T. W. Schiller, K. Donohue, F. Coward, and M. D. Ernst. 2014. Case Studies and Tools for Contract Specifications. In Proceedings of the 36th International Conference on Software Engineering (Hyderabad, India) (ICSE 2014). Association for Computing Machinery, New York, NY, USA, 596--607."},{"key":"e_1_3_2_1_10_1","volume-title":"Operating System Market Share Worldwide. https:\/\/gs.statcounter.com\/os-market-share#monthly-202208-202209-bar [Online","author":"Global Stats StatCounter","year":"2023","unstructured":"StatCounter Global Stats. 2023. Operating System Market Share Worldwide. https:\/\/gs.statcounter.com\/os-market-share#monthly-202208-202209-bar [Online; accessed 3-February-2023]."},{"volume-title":"Updates and Risks of Third-Party Libraries in Java Projects. In 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME). 35--45","author":"Wang Y.","key":"e_1_3_2_1_11_1","unstructured":"Y. Wang, B. Chen, K. Huang, B. Shi, C. Xu, X. Peng, Y. Wu, and Y. Liu. 2020. An Empirical Study of Usages, Updates and Risks of Third-Party Libraries in Java Projects. In 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME). 35--45."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2910516"},{"key":"e_1_3_2_1_13_1","volume-title":"Ferreira","author":"Silva \u00c1lvaro","year":"2024","unstructured":"\u00c1lvaro Silva, Alexandra Mendes, and Jo\u00e3o F. Ferreira. 2024. Leveraging Large Language Models to Boost Dafny's Developers Productivity. arXiv:2401.00963 [cs.SE]"}],"event":{"name":"ICSE-Companion '24: 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"],"location":"Lisbon Portugal","acronym":"ICSE-Companion '24"},"container-title":["Proceedings of the 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639478.3643536","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3639478.3643536","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:55Z","timestamp":1750291435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639478.3643536"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":13,"alternative-id":["10.1145\/3639478.3643536","10.1145\/3639478"],"URL":"https:\/\/doi.org\/10.1145\/3639478.3643536","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}