{"id":"W4409728046","doi":"10.1016/j.jss.2025.112453","title":"An empirical evaluation of static, dynamic, and hybrid slicing of WebAssembly binaries","year":2025,"lang":"en","type":"article","venue":"Journal of Systems and Software","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Slicing; Computer science; Computer graphics (images)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01066691,0.001160644,0.0005872532,0.002619791,0.0006737271,0.001131439,0.001667446,0.0008726419,0.001621307],"category_scores_gemma":[0.06985182,0.000564713,0.0006164614,0.001953125,0.00159839,0.003232609,0.001412226,0.001117268,0.0004985725],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001446883,"about_ca_system_score_gemma":0.0008249718,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003368675,"about_ca_topic_score_gemma":0.006629405,"domain_scores_codex":[0.9908585,0.003533156,0.0008739179,0.001210716,0.003111525,0.0004121822],"domain_scores_gemma":[0.8725008,0.09172563,0.008334985,0.01414645,0.01165518,0.001636973],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0106214,0.003612544,0.1575984,0.003548462,0.0008630092,0.0006380124,0.002671116,0.2494039,0.04161961,0.006208386,0.01187006,0.5113451],"study_design_scores_gemma":[0.0009145652,0.01235234,0.1662847,0.0006342897,0.0006048223,0.001600322,0.002186294,0.7268227,0.06505141,0.005978745,0.01733368,0.0002360882],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9775321,0.001617248,0.01453239,0.0001541603,0.00004940218,0.0002250566,0.0009409444,0.001783085,0.003165581],"genre_scores_gemma":[0.9631435,0.0004033583,0.03188819,0.00007081895,0.00003088159,0.0001424042,0.003008908,0.0004019087,0.0009100375],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01066691,"threshold_uncertainty_score":0.0564127,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02748261177963919,"score_gpt":0.346174844022441,"score_spread":0.3186922322428018,"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."}}