{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T05:18:39Z","timestamp":1751606319093,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"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":[[2022,5,21]]},"DOI":"10.1145\/3510454.3516837","type":"proceedings-article","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T16:16:28Z","timestamp":1666196188000},"page":"159-163","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Proactive libraries"],"prefix":"10.1145","author":[{"given":"Oliviero","family":"Riganelli","sequence":"first","affiliation":[{"name":"University of Milano - Bicocca, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ionut Daniel","family":"Fagadau","sequence":"additional","affiliation":[{"name":"University of Milano - Bicocca, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Micucci","sequence":"additional","affiliation":[{"name":"University of Milano - Bicocca, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Mariani","sequence":"additional","affiliation":[{"name":"University of Milano - Bicocca, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,10,19]]},"reference":[{"volume-title":"Proceedings of the International Conference on Mining Software Repositories (MSR).","author":"Amani S.","key":"e_1_3_2_1_1_1","unstructured":"S. Amani , S. Nadi , H. A. Nguyen , T. N. Nguyen , and M. Mezini . 2016. MUBench: A Benchmark for API-misuse Detectors . In Proceedings of the International Conference on Mining Software Repositories (MSR). S. Amani, S. Nadi, H. A. Nguyen, T. N. Nguyen, and M. Mezini. 2016. MUBench: A Benchmark for API-misuse Detectors. In Proceedings of the International Conference on Mining Software Repositories (MSR)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2827384"},{"volume-title":"The Activity Lifecycle. https:\/\/developer.android.com\/guide\/components\/activities\/activity-lifecycle.html. [Online","year":"2021","key":"e_1_3_2_1_3_1","unstructured":"Android. 2021. The Activity Lifecycle. https:\/\/developer.android.com\/guide\/components\/activities\/activity-lifecycle.html. [Online ; accessed November 2021 ]. Android. 2021. The Activity Lifecycle. https:\/\/developer.android.com\/guide\/components\/activities\/activity-lifecycle.html. [Online; accessed November 2021]."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/developer.android.com\/guide\/index.html. [Online","author":"API.","year":"2021","unstructured":"Android. 2021. Android API. https:\/\/developer.android.com\/guide\/index.html. [Online ; accessed November 2021 ]. Android. 2021. Android API. https:\/\/developer.android.com\/guide\/index.html. [Online; accessed November 2021]."},{"volume-title":"Proceedings of the International Conference on Automated Software Engineering (ASE).","author":"Azim M. T.","key":"e_1_3_2_1_5_1","unstructured":"M. T. Azim , I. Neamtiu , and L. M. Marvel . 2014. Towards Self-healing Smartphone Software via Automated Patching . In Proceedings of the International Conference on Automated Software Engineering (ASE). M. T. Azim, I. Neamtiu, and L. M. Marvel. 2014. Towards Self-healing Smartphone Software via Automated Patching. In Proceedings of the International Conference on Automated Software Engineering (ASE)."},{"volume-title":"Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE).","author":"Banerjee A.","key":"e_1_3_2_1_6_1","unstructured":"A. Banerjee , L. Kee Chong , S. Chattopadhyay , and A. Roychoudhury . 2014. Detecting Energy Bugs and Hotspots in Mobile Apps . In Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE). A. Banerjee, L. Kee Chong, S. Chattopadhyay, and A. Roychoudhury. 2014. Detecting Energy Bugs and Hotspots in Mobile Apps. In Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)."},{"volume-title":"Proceedings of the International Conference on Cloud Computing (CloudCom).","author":"Dai Y.","key":"e_1_3_2_1_7_1","unstructured":"Y. Dai , Y. Xiang , and G. Zhang . 2009. Self-healing and Hybrid Diagnosis in Cloud Computing . In Proceedings of the International Conference on Cloud Computing (CloudCom). Y. Dai, Y. Xiang, and G. Zhang. 2009. Self-healing and Hybrid Diagnosis in Cloud Computing. In Proceedings of the International Conference on Cloud Computing (CloudCom)."},{"volume-title":"https:\/\/www.eclipse.org\/acceleo\/. [Online","year":"2021","key":"e_1_3_2_1_8_1","unstructured":"Eclipse Foundation. 2021. Acceleo. https:\/\/www.eclipse.org\/acceleo\/. [Online ; accessed November 2021 ]. Eclipse Foundation. 2021. Acceleo. https:\/\/www.eclipse.org\/acceleo\/. [Online; accessed November 2021]."},{"volume-title":"http:\/\/www.eclipse.org\/. [Online","year":"2021","key":"e_1_3_2_1_9_1","unstructured":"Eclipse Foundation. 2021. Eclipse. http:\/\/www.eclipse.org\/. [Online ; accessed November 2021 . Eclipse Foundation. 2021. Eclipse. http:\/\/www.eclipse.org\/. [Online; accessed November 2021."},{"volume-title":"Eclipse Modeling Framework. https:\/\/www.eclipse.org\/modeling\/emf\/. [Online","year":"2021","key":"e_1_3_2_1_10_1","unstructured":"Eclipse Foundation. 2021. Eclipse Modeling Framework. https:\/\/www.eclipse.org\/modeling\/emf\/. [Online ; accessed November 2021 . Eclipse Foundation. 2021. Eclipse Modeling Framework. https:\/\/www.eclipse.org\/modeling\/emf\/. [Online; accessed November 2021."},{"key":"e_1_3_2_1_11_1","unstructured":"Eclipse Foundation. 2021. Graphical Modeling Project. http:\/\/www.eclipse.org\/modeling\/gmp\/. [Online; accessed November 2021].  Eclipse Foundation. 2021. Graphical Modeling Project. http:\/\/www.eclipse.org\/modeling\/gmp\/. [Online; accessed November 2021]."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2755013"},{"volume-title":"Proceedings of the International Conference on Software Quality, Reliability and Security (QRS).","author":"Ginelli D.","key":"e_1_3_2_1_13_1","unstructured":"D. Ginelli , O. Riganelli , D. Micucci , and L. Mariani . 2021. Exception-Driven Fault Localization for Automated Program Repair . In Proceedings of the International Conference on Software Quality, Reliability and Security (QRS). D. Ginelli, O. Riganelli, D. Micucci, and L. Mariani. 2021. Exception-Driven Fault Localization for Automated Program Repair. In Proceedings of the International Conference on Software Quality, Reliability and Security (QRS)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593743.2593750"},{"volume-title":"Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE).","author":"Li Z.","key":"e_1_3_2_1_15_1","unstructured":"Z. Li and Y. Zhou . 2005. PR-Miner: Automatically Extracting Implicit Programming Rules and Detecting Violations in Large Software Code . In Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE). Z. Li and Y. Zhou. 2005. PR-Miner: Automatically Extracting Implicit Programming Rules and Detecting Violations in Large Software Code. In Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0046-8"},{"volume-title":"Proceedings of the International Symposium on Software Reliability Engineering (ISSRE).","author":"Liu J.","key":"e_1_3_2_1_17_1","unstructured":"J. Liu , T. Wu , J. Yan , and J. Zhang . 2016. Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation . In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE). J. Liu, T. Wu, J. Yan, and J. Zhang. 2016. Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation. In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2700325"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.93"},{"volume-title":"Proceedings of the International Symposium on Software Reliability Engineering (ISSRE).","author":"Mobilio M.","key":"e_1_3_2_1_20_1","unstructured":"M. Mobilio , O. Riganelli , D. Micucci , and L. Mariani . 2019. FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades . In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE). M. Mobilio, O. Riganelli, D. Micucci, and L. Mariani. 2019. FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430541"},{"volume-title":"Proceedings of the Annual Computer Security Applications Conference (ACSAC).","author":"Mulliner C.","key":"e_1_3_2_1_22_1","unstructured":"C. Mulliner , J. Oberheide , W. Robertson , and E. Kirda . 2013. PatchDroid: Scalable Third-party Security Patches for Android Devices . In Proceedings of the Annual Computer Security Applications Conference (ACSAC). C. Mulliner, J. Oberheide, W. Robertson, and E. Kirda. 2013. PatchDroid: Scalable Third-party Security Patches for Android Devices. In Proceedings of the Annual Computer Security Applications Conference (ACSAC)."},{"volume-title":"Proceedings of the 38th International Conference on Software Engineering (ICSE).","author":"Nadi S.","key":"e_1_3_2_1_23_1","unstructured":"S. Nadi , S. Kr\u00fcger , M. Mezini , and E. Bodden . 2016. Jumping through Hoops: Why Do Java Developers Struggle with Cryptography APIs? . In Proceedings of the 38th International Conference on Software Engineering (ICSE). S. Nadi, S. Kr\u00fcger, M. Mezini, and E. Bodden. 2016. Jumping through Hoops: Why Do Java Developers Struggle with Cryptography APIs?. In Proceedings of the 38th International Conference on Software Engineering (ICSE)."},{"volume-title":"Proceedings of the International Workshop on Software Faults (IWSF), co-located with the International Symposium on Software Reliability Engineering (ISSRE).","author":"Riganelli O.","key":"e_1_3_2_1_24_1","unstructured":"O. Riganelli , D. Micucci , and L. Mariani . 2016. Healing Data Loss Problems in Android Apps . In Proceedings of the International Workshop on Software Faults (IWSF), co-located with the International Symposium on Software Reliability Engineering (ISSRE). O. Riganelli, D. Micucci, and L. Mariani. 2016. Healing Data Loss Problems in Android Apps. In Proceedings of the International Workshop on Software Faults (IWSF), co-located with the International Symposium on Software Reliability Engineering (ISSRE)."},{"volume-title":"Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).","author":"Riganelli O.","key":"e_1_3_2_1_25_1","unstructured":"O. Riganelli , D. Micucci , and L. Mariani . 2017. Policy enforcement with proactive libraries . In Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). O. Riganelli, D. Micucci, and L. Mariani. 2017. Policy enforcement with proactive libraries. In Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368087"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2672"},{"volume-title":"Proceedings of the International Conference on Mining Software Repositories (MSR).","author":"Riganelli O.","key":"e_1_3_2_1_28_1","unstructured":"O. Riganelli , M. Mobilio , D. Micucci , and L. Mariani . 2019. A Benchmark of Data Loss Bugs for Android Apps . In Proceedings of the International Conference on Mining Software Repositories (MSR). O. Riganelli, M. Mobilio, D. Micucci, and L. Mariani. 2019. A Benchmark of Data Loss Bugs for Android Apps. In Proceedings of the International Conference on Mining Software Repositories (MSR)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0551-z"},{"volume-title":"Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).","author":"Shan Z.","key":"e_1_3_2_1_30_1","unstructured":"Z. Shan , T. Azim , and I. Neamtiu . 2016. Finding Resume and Restart Errors in Android Applications . In Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). Z. Shan, T. Azim, and I. Neamtiu. 2016. Finding Resume and Restart Errors in Android Applications. In Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)."},{"key":"e_1_3_2_1_31_1","unstructured":"Ti. Su L. Fan S. Chen Y. Liu L. Xu G. Pu and Z. Su. 2020. Why My App Crashes Understanding and Benchmarking Framework-specific Exceptions of Android apps. IEEE Transactions on Software Engineering (2020).  Ti. Su L. Fan S. Chen Y. Liu L. Xu G. Pu and Z. Su. 2020. Why My App Crashes Understanding and Benchmarking Framework-specific Exceptions of Android apps. IEEE Transactions on Software Engineering (2020)."},{"volume-title":"Proceedings of the International Conference on Mining Software Repositories (MSR).","author":"Wang W.","key":"e_1_3_2_1_32_1","unstructured":"W. Wang and M. W. Godfrey . 2013. Detecting API usage obstacles: A study of iOS and Android developer questions . In Proceedings of the International Conference on Mining Software Repositories (MSR). W. Wang and M. W. Godfrey. 2013. Detecting API usage obstacles: A study of iOS and Android developer questions. In Proceedings of the International Conference on Mining Software Repositories (MSR)."},{"volume-title":"Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE).","author":"Wasylkowski A.","key":"e_1_3_2_1_33_1","unstructured":"A. Wasylkowski and A. Zeller . 2009. Mining Temporal Specifications from Object Usage . In Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE). A. Wasylkowski and A. Zeller. 2009. Mining Temporal Specifications from Object Usage. In Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970312"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2547385"},{"key":"e_1_3_2_1_36_1","volume-title":"http:\/\/repo.xposed.info\/. [Online","author":"Xposed DA.","year":"2021","unstructured":"X DA. 2021. Xposed . http:\/\/repo.xposed.info\/. [Online ; accessed November 2021 . XDA. 2021. Xposed. http:\/\/repo.xposed.info\/. [Online; accessed November 2021."},{"volume-title":"Proceedings of the Annual Network and Distributed System Security Symposium (NDSS).","author":"Zhang M.","key":"e_1_3_2_1_37_1","unstructured":"M. Zhang and H. Yin . 2014. AppSealer: Automatic Generation of Vulnerability-Specific Patches for Preventing Component Hijacking Attacks in Android Applications . In Proceedings of the Annual Network and Distributed System Security Symposium (NDSS). M. Zhang and H. Yin. 2014. AppSealer: Automatic Generation of Vulnerability-Specific Patches for Preventing Component Hijacking Attacks in Android Applications. In Proceedings of the Annual Network and Distributed System Security Symposium (NDSS)."}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Pittsburgh Pennsylvania","acronym":"ICSE '22"},"container-title":["Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510454.3516837","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510454.3516837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:15Z","timestamp":1750188615000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510454.3516837"}},"subtitle":["enforcing correct behaviors in Android apps"],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":37,"alternative-id":["10.1145\/3510454.3516837","10.1145\/3510454"],"URL":"https:\/\/doi.org\/10.1145\/3510454.3516837","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}