{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001161575,0.000938491,0.0003414163,0.00227706,0.0005028493,0.001241697,0.00112655,0.0009458123,0.003238288],"category_scores_gemma":[0.003912132,0.0004579638,0.001048551,0.001923146,0.0009135716,0.001787347,0.0005969853,0.001399197,0.0009110424],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007941002,"about_ca_system_score_gemma":0.001495373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005541591,"about_ca_topic_score_gemma":0.003587689,"domain_scores_codex":[0.999262,0.0001891627,0.00007505016,0.0001232348,0.0002905992,0.00005985022],"domain_scores_gemma":[0.9983829,0.0006615261,0.0001883638,0.0004154786,0.0003174494,0.00003430796],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009528564,0.0001066722,0.001228238,0.0003590603,0.00004977918,0.0004032529,0.000439341,0.299779,0.01489967,0.4265204,0.007628495,0.2484909],"study_design_scores_gemma":[0.00003205712,0.00007564052,0.0004526907,0.0001195686,0.00006546571,0.0002768671,0.00004561578,0.7458119,0.01150568,0.1954814,0.04609012,0.00004299066],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001627377,0.00007394532,0.9958759,0.00004541624,0.00001411192,0.00005882468,0.0001748131,0.001205603,0.0009239628],"genre_scores_gemma":[0.1030542,0.000428955,0.892081,0.00009245826,0.00005111789,0.0003904264,0.001126479,0.0006587309,0.002116545],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005541591,"threshold_uncertainty_score":0.01101869,"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."}}