{"id":"W6893802102","doi":"10.5281/zenodo.4671169","title":"MANDOLINE: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis","year":2021,"lang":"en","type":"article","venue":"Figshare","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Program slicing; Debugging; Slicing; Android (operating system); Suite; Static analysis; Call graph; Benchmark (surveying)","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00004744386,0.00008865738,0.0001699565,0.000140479,0.00006130586,0.00005557833,0.0003616901,0.00003749162,0.0009650541],"category_scores_gemma":[0.0002008504,0.00007924932,0.00008076206,0.001512189,0.000005697191,0.00007879359,0.00007277232,0.00007213906,0.00002366011],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001989116,"about_ca_system_score_gemma":0.0001142413,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001194836,"about_ca_topic_score_gemma":0.00002530863,"domain_scores_codex":[0.9992523,0.00002729501,0.000146111,0.0002749004,0.000172753,0.0001266445],"domain_scores_gemma":[0.9987242,0.0002460935,0.0001093696,0.000636927,0.0002375345,0.00004592401],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007165672,0.002106841,0.044036,0.004423339,0.002372691,0.0008438072,0.001913171,0.05203068,0.002999666,0.001710341,0.5667995,0.3206924],"study_design_scores_gemma":[0.0008905115,0.0001723426,0.02977146,0.001869104,0.0002859707,0.00008087989,0.00001251403,0.91461,0.03311972,0.002118825,0.01625587,0.0008127557],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001093267,0.0007086947,0.9755437,0.0003848814,0.00001200695,0.0003038013,0.01551265,0.005504807,0.0009362285],"genre_scores_gemma":[0.7684174,0.000001144701,0.222425,0.0001669022,0.00001425523,0.0002362046,0.008600167,0.00001215092,0.0001268233],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8625793,"threshold_uncertainty_score":0.9999482,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01826310622587239,"score_gpt":0.2659056568033319,"score_spread":0.2476425505774595,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}