{"id":"W4322754178","doi":"10.1016/j.jss.2023.111666","title":"An empirical evaluation of quasi-static executable slices","year":2023,"lang":"en","type":"article","venue":"Journal of Systems and Software","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"Fonds Wetenschappelijk Onderzoek","keywords":"Program slicing; Slicing; Executable; Computer science; Static analysis; Set (abstract data type); Closure (psychology); Programming language; Program analysis; Algorithm","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":[],"consensus_categories":[],"category_scores_codex":[0.00324325,0.00008329873,0.0002669952,0.0002429733,0.00007190236,0.0001226163,0.0003306602,0.00005469433,0.000001890858],"category_scores_gemma":[0.0007285287,0.00006328318,0.00004653347,0.0003964104,0.00002542619,0.0004617186,0.00004548002,0.00009690266,0.000001680133],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000302392,"about_ca_system_score_gemma":0.0001455529,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008765349,"about_ca_topic_score_gemma":0.000001621498,"domain_scores_codex":[0.9983721,0.0002182072,0.0004539301,0.000130294,0.0006902433,0.0001352101],"domain_scores_gemma":[0.9981813,0.000392347,0.0004271636,0.0002511628,0.0006536904,0.00009430084],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004378853,0.0005449085,0.5461571,0.001183798,0.0001957685,0.0001635699,0.01779874,0.01023321,0.0006533974,0.001255791,0.09739821,0.3243717],"study_design_scores_gemma":[0.001050333,0.002039123,0.08094359,0.001456153,0.0001160137,0.0007813874,0.0007070826,0.872532,0.0002236947,0.03858605,0.001191679,0.0003728622],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6214962,0.00110291,0.3756624,0.0001543525,0.0004400817,0.0001354006,0.000002831065,0.000984173,0.00002166328],"genre_scores_gemma":[0.9557461,0.00002862461,0.04408665,0.0000286214,0.00007827233,0.000004942288,8.771671e-7,0.000007216892,0.00001875393],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8622988,"threshold_uncertainty_score":0.2580613,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08142813142564716,"score_gpt":0.3702531606239323,"score_spread":0.2888250291982852,"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."}}