{"id":"W2122282651","doi":"10.1109/scam.2002.1134113","title":"Predicate-based dynamic slicing of message passing programs","year":2003,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Program slicing; Predicate (mathematical logic); Computer science; Slicing; Predicate variable; Computation; Programming language; Algorithm; Theoretical computer science","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.0004209003,0.00009667058,0.000129702,0.00009239437,0.00006486386,0.00006799104,0.0004125486,0.00004610063,0.000005867006],"category_scores_gemma":[0.0002243629,0.00008088843,0.00004715882,0.0003876611,0.0000507868,0.000123971,0.00004916019,0.00007799943,0.000002481521],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000254179,"about_ca_system_score_gemma":0.00007836642,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006701407,"about_ca_topic_score_gemma":0.000003897837,"domain_scores_codex":[0.9990843,0.00006369428,0.0001944385,0.0002385885,0.0002114521,0.0002075322],"domain_scores_gemma":[0.999145,0.0001556089,0.00009252283,0.0004903463,0.00006261498,0.00005388146],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009427701,0.001029391,0.1259237,0.0003673779,0.00005779633,0.00006057907,0.0009837162,0.0004308982,0.005257195,0.07401777,0.01211296,0.7797492],"study_design_scores_gemma":[0.0007485627,0.0005134578,0.004246041,0.0006224548,0.00002160424,0.00004504011,0.00001544033,0.8575779,0.05820246,0.07501677,0.002317503,0.0006727902],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00971364,0.00004075765,0.9784804,0.0002024427,0.00006369344,0.0001130819,1.611496e-7,0.007923666,0.003462161],"genre_scores_gemma":[0.5733578,3.777446e-7,0.4264559,0.0001334434,0.000001794956,0.000008613689,5.736024e-7,0.000005070674,0.0000364752],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.857147,"threshold_uncertainty_score":0.3298534,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01690078885236949,"score_gpt":0.2547664421489322,"score_spread":0.2378656532965627,"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."}}