{"id":921,"date":"2020-10-27T09:18:20","date_gmt":"2020-10-27T08:18:20","guid":{"rendered":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/"},"modified":"2020-10-27T09:18:20","modified_gmt":"2020-10-27T08:18:20","slug":"phd-defence-instruction-coverage-for-android-app-testing-and-tuning","status":"publish","type":"events","link":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/","title":{"rendered":"PhD Defence: Instruction coverage for Android app testing and tuning"},"content":{"rendered":"<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><p>Please\u00a0click on <a href=\"https:\/\/unilu.webex.com\/unilu\/j.php?MTID=m57f1e1fc86e097a0e930ebbb35ddd019\" target=\"_self\" title=\"\" rel=\"noopener\">this link<\/a>\u00a0to both register and connect on the day of the event.<\/p><ul class=\"ulux-list\"><li class=\"ulux-list-item\">Meeting number (access code): 163 680 8550<\/li><li class=\"ulux-list-item\">Meeting password: gYXVMyd4V85<\/li><\/ul><p><strong>Members of the defence committee:<\/strong><\/p><ul class=\"ulux-list\"><li class=\"ulux-list-item\">Chair: Prof. Dr Yves Le Traon, University of Luxembourg<\/li><li class=\"ulux-list-item\">Vice-chair: Dr Olga Gadyatskaya, Leiden University, The Netherlands<\/li><li class=\"ulux-list-item\">Supervisor: Prof. Dr Sjouke Mauw, University of Luxembourg<\/li><li class=\"ulux-list-item\">Member: Prof. Dr Pascal Bouvry, University of Luxembourg<\/li><li class=\"ulux-list-item\">Member: Prof. Dr Yang Liu, Nanyang Technological University, Singapore<\/li><\/ul><p>For many people, mobile apps have already become an indispensable part of modern life. Apps entertain, educate, assist us in our daily routines and help us connect with others. However, the advanced capabilities of modern devices running the apps and sensitive user data make mobile devices also an attractive attack target. To get access to sensitive data, adversaries tend to conceal malicious functionality in freely distributed legitimately-looking apps.<\/p><p>The problem of low-quality and malicious apps, spreading at an enormous scale, is especially relevant for one of the biggest software repositories \u2013 Google Play. The Android apps distributed through this platform undergo a validation process by Google. However, that is insufficient to confirm their good nature. To identify dangerous apps, novel frameworks for testing and app analysis are being developed by the Android community.<\/p><p>Code coverage is one of the most common metrics for evaluating the effectiveness of these frameworks, and it is used as an internal metric to guide code exploration in some of them. However, when analyzing apps without source code, the Android community relies mostly on method coverage since there are no reliable tools for measuring finer-grained code coverage in 3rd-party Android app testing.<\/p><p>Another stumbling block for testing frameworks is the inability to test an app exhaustively. While code coverage measurement can indicate an improvement in testing, it is neither possible to reach 100% coverage nor to identify the maximum reachable coverage value for the app. Despite testing, the app still contains high amounts of not executed code, which makes it impossible to confirm the absence of potentially malicious code in the part of the app that has not been tested. The existing static debloating approaches aim at app size minimization rather than security and simply debloat not reachable code. However, there is currently no approach to debloat apps based on dynamic analysis information, i.e. to cut out not-executed code.<\/p><p>In this dissertation, we solve these two problems by, first, proposing an efficient approach and a tool to measure code coverage at the instruction level, and second, a dynamic binary shrinking methodology for deleting not executed code from the app. We support our solutions by the following contributions:<\/p><ul class=\"ulux-list\"><li class=\"ulux-list-item\">An instrumentation approach to measuring code coverage at the instruction level. Our technique instruments small representation of Android bytecode to allow code coverage measurement at the finest level.<\/li><li class=\"ulux-list-item\">An implementation of the instrumentation approach. ACVTool is a self-contained package containing 4K lines of Python code. It is publicly available and can be integrated into different testing frameworks.<\/li><li class=\"ulux-list-item\">An extensive empirical evaluation that shows the high reliability and versatility of our approach. ACVTool successfully executes on 96.9% of apps from our dataset, introduces a negligible instrumentation time and runtime overheads, and its results are complaint to the results of JaCoCo (source code coverage) and Ella (method coverage) tools.<\/li><li class=\"ulux-list-item\">A detailed study on the influence of code coverage metric granularity on automated testing. We demonstrate the usefulness of ACVTool for automated testing techniques that rely on code coverage data in their operation.<\/li><li class=\"ulux-list-item\">A dynamic debloating approach based on ACVTool instruction coverage. We propose Dynamic Binary Shrinking System, a novel methodology created to shrink 3rd-party Android apps towards observed benign functionality on executed code.<\/li><li class=\"ulux-list-item\">An implementation of the dynamic debloating technique incorporated into the ACVCut tool. The tool demonstrates the viability of the Dynamic Shrinking System in two examples. It allows us to cut out not executed code and, thus, provide 100% instruction coverage on explored app behaviours.<\/li><\/ul><\/div><\/section>","protected":false},"excerpt":{"rendered":"<p>Please\u00a0click on this link\u00a0to both register and connect on the day of the event.Meeting number (access code): 163 680 8550Meeting password: gYXVMyd4V85Members of the defence committee:Chair: Prof. Dr Yves Le Traon, University of LuxembourgVice-chair: Dr Olga Gadyatskaya, Leiden University, The NetherlandsSupervisor: Prof. Dr Sjouke Mauw, University of LuxembourgMember: Prof. Dr Pascal Bouvry, University of LuxembourgMember: Prof. Dr Yang Liu, Nanyang Technological University, Singapore<\/p>\n","protected":false},"author":0,"featured_media":922,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","format":"standard","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"","uluxPrePostTitle":"","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false,"event_start_date":"2020-11-06 10:00:00","event_end_date":"2020-11-06 13:00:00","event_speaker_name":"Aleksandr Pilgun","event_speaker_link":"","event_is_online":false,"event_location":"","event_street":"","event_location_link":"","event_zip_code":"","event_city":"","event_country":"LU"},"events-topic":[],"events-type":[],"organisation":[183],"authorship":[],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>PhD Defence: Instruction coverage for Android app testing and tuning - SnT - Universit\u00e9 du Luxembourg I Uni.lu<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PhD Defence: Instruction coverage for Android app testing and tuning\" \/>\n<meta property=\"og:description\" content=\"Please\u00a0click on this link\u00a0to both register and connect on the day of the event.Meeting number (access code): 163 680 8550Meeting password: gYXVMyd4V85Members of the defence committee:Chair: Prof. Dr Yves Le Traon, University of LuxembourgVice-chair: Dr Olga Gadyatskaya, Leiden University, The NetherlandsSupervisor: Prof. Dr Sjouke Mauw, University of LuxembourgMember: Prof. Dr Pascal Bouvry, University of LuxembourgMember: Prof. Dr Yang Liu, Nanyang Technological University, Singapore\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT FR\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"2560\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/\",\"name\":\"PhD Defence: Instruction coverage for Android app testing and tuning - SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_instruction_coverage_for_android_app_testing_and_tuning.jpg\",\"datePublished\":\"2020-10-27T08:18:20+00:00\",\"dateModified\":\"2020-10-27T08:18:20+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_instruction_coverage_for_android_app_testing_and_tuning.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_instruction_coverage_for_android_app_testing_and_tuning.jpg\",\"width\":800,\"height\":600},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/fr\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Events\",\"item\":\"https:\/\/www.uni.lu\/snt-fr\/events\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"PhD Defence: Instruction coverage for Android app testing and tuning\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#organization\",\"name\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-fr\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - Universit\u00e9 du Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"],\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"PhD Defence: Instruction coverage for Android app testing and tuning - SnT - Universit\u00e9 du Luxembourg I Uni.lu","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/","og_locale":"fr_FR","og_type":"article","og_title":"PhD Defence: Instruction coverage for Android app testing and tuning","og_description":"Please\u00a0click on this link\u00a0to both register and connect on the day of the event.Meeting number (access code): 163 680 8550Meeting password: gYXVMyd4V85Members of the defence committee:Chair: Prof. Dr Yves Le Traon, University of LuxembourgVice-chair: Dr Olga Gadyatskaya, Leiden University, The NetherlandsSupervisor: Prof. Dr Sjouke Mauw, University of LuxembourgMember: Prof. Dr Pascal Bouvry, University of LuxembourgMember: Prof. Dr Yang Liu, Nanyang Technological University, Singapore","og_url":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/","og_site_name":"SnT FR","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/","url":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/","name":"PhD Defence: Instruction coverage for Android app testing and tuning - SnT - Universit\u00e9 du Luxembourg I Uni.lu","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_instruction_coverage_for_android_app_testing_and_tuning.jpg","datePublished":"2020-10-27T08:18:20+00:00","dateModified":"2020-10-27T08:18:20+00:00","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_instruction_coverage_for_android_app_testing_and_tuning.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2020\/10\/phd_defence_instruction_coverage_for_android_app_testing_and_tuning.jpg","width":800,"height":600},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-fr\/events\/phd-defence-instruction-coverage-for-android-app-testing-and-tuning\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/fr"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-fr\/"},{"@type":"ListItem","position":3,"name":"Events","item":"https:\/\/www.uni.lu\/snt-fr\/events\/"},{"@type":"ListItem","position":4,"name":"PhD Defence: Instruction coverage for Android app testing and tuning"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-fr\/#website","url":"https:\/\/www.uni.lu\/snt-fr\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I Universit\u00e9 du Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-fr\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-fr\/#organization","name":"SnT - Universit\u00e9 du Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/13\/2026\/03\/03112647\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - Universit\u00e9 du Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/snt-fr\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"],"description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu"}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events\/921"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/types\/events"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/comments?post=921"}],"version-history":[{"count":0,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events\/921\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media\/922"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/media?parent=921"}],"wp:term":[{"taxonomy":"events-topic","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events-topic?post=921"},{"taxonomy":"events-type","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/events-type?post=921"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-fr\/wp-json\/wp\/v2\/organisation?post=921"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}