{"id":"W2102830428","doi":"10.1109/sere.2012.33","title":"A Control Flow Representation for Component-Based Software Reliability Analysis","year":2012,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Control flow; Control flow graph; Component (thermodynamics); Data-flow analysis; Control flow analysis; Theoretical computer science; Data flow diagram; Component-based software engineering; Distributed computing; Software; Data structure; Programming language; Software system; Database; Procedural programming","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.001876001,0.0001528404,0.000402909,0.0003440042,0.0002168029,0.0001584977,0.0006897103,0.00008879876,0.0001289996],"category_scores_gemma":[0.001530046,0.0001267301,0.0006375534,0.001956037,0.00007398136,0.0006529234,0.00009289824,0.0001153184,0.00004933523],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001043555,"about_ca_system_score_gemma":0.00007754918,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002226922,"about_ca_topic_score_gemma":0.00001811601,"domain_scores_codex":[0.9976241,0.0003007818,0.0003976013,0.0005465733,0.000577134,0.0005537989],"domain_scores_gemma":[0.9957972,0.002185,0.0000934121,0.001231394,0.000426448,0.0002665011],"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.0001175188,0.001104285,0.8371278,0.00009356179,0.0009025242,0.000001207508,0.0002546124,0.1106965,0.0002424586,0.003661108,0.001885082,0.04391329],"study_design_scores_gemma":[0.0007740997,0.00004403484,0.05031142,0.000002725383,0.0002247682,3.709526e-7,0.0000127305,0.9454386,0.0009590526,0.0008346599,0.001221317,0.0001762605],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01605151,0.00005845808,0.9813746,0.001557052,0.00009908584,0.0004538461,0.00001958151,0.0003304487,0.00005546035],"genre_scores_gemma":[0.7073714,0.000001311419,0.2920138,0.0003001203,0.00005432313,0.0001249943,0.00004243005,0.000005491032,0.00008614518],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.834742,"threshold_uncertainty_score":0.5167904,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02716640720050098,"score_gpt":0.3133904950125134,"score_spread":0.2862240878120124,"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."}}