{"id":"W2107024044","doi":"10.1109/tse.2006.38","title":"On the value of static analysis for fault detection in software","year":2006,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Software Engineering Research","field":"Computer Science","cited_by":281,"is_retracted":false,"has_abstract":true,"ca_institutions":"Nortel (Canada)","funders":"North Carolina State University; National Science Foundation","keywords":"Static analysis; Computer science; Fault detection and isolation; Software; Software quality; Reliability engineering; Software bug; Programmer; Software reliability testing; Fault (geology); Static program analysis; Data mining; Software development; Embedded system; Operating system; Artificial intelligence; Programming language; Engineering","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.0004200359,0.0002286701,0.0002866802,0.001014839,0.0001024566,0.00006177853,0.0005413067,0.00009972863,0.00001009515],"category_scores_gemma":[0.0003883388,0.0002032584,0.0002542626,0.002356593,0.00002406759,0.000196355,0.000003966716,0.0003627793,0.000007344386],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002026335,"about_ca_system_score_gemma":0.00004143312,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001429558,"about_ca_topic_score_gemma":0.00005645985,"domain_scores_codex":[0.9983383,0.00004043425,0.0003774884,0.0003919722,0.0004478092,0.0004040213],"domain_scores_gemma":[0.9949595,0.004189087,0.00005863166,0.000632367,0.0001031944,0.00005716886],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001213539,0.00008244313,0.00026815,0.00005414805,0.00009766696,0.000002775097,0.00009249671,0.9942937,0.0004134933,0.0004907687,0.00001459981,0.004177556],"study_design_scores_gemma":[0.000549159,0.0002238613,0.01335109,0.00009646704,0.00007647177,0.000004025937,0.0000118245,0.916229,0.06860708,0.0004138011,0.00007840483,0.0003588765],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1520719,0.0000216312,0.846745,0.00003952226,0.0003167545,0.0003450716,0.00002575121,0.0004331777,0.000001289403],"genre_scores_gemma":[0.9307032,0.00000315026,0.06891742,0.00002056022,0.00002166968,0.000253353,0.000002249771,0.00003368336,0.00004467371],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7786314,"threshold_uncertainty_score":0.8288637,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01146549923645789,"score_gpt":0.2358461180225872,"score_spread":0.2243806187861293,"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."}}