{"id":"W4250487516","doi":"10.1145/566172.566183","title":"Investigating the use of analysis contracts to support fault isolation in object oriented code","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Isolation (microbiology); Object-oriented programming; Fault detection and isolation; Software engineering; Programming language; Artificial intelligence","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.0003941981,0.00008061607,0.0001581173,0.0002651566,0.00005240969,0.00007949739,0.000328222,0.00003541088,0.00001609093],"category_scores_gemma":[0.0017372,0.00005736619,0.00004875192,0.002086082,0.00002864602,0.0002809642,0.0001026171,0.00008610025,0.000006988208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002461691,"about_ca_system_score_gemma":0.00001627515,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008932758,"about_ca_topic_score_gemma":0.0003243767,"domain_scores_codex":[0.9990336,0.00008044574,0.0002932888,0.0002195954,0.0002103994,0.0001626274],"domain_scores_gemma":[0.9985475,0.0007055629,0.0001091174,0.0004689992,0.0001138018,0.00005502815],"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.000003739416,0.0001774223,0.8586919,0.00001148581,0.0001119404,0.00001290052,0.008647799,0.01974403,0.001277164,0.005082038,0.05538912,0.0508504],"study_design_scores_gemma":[0.00009069622,0.00008205973,0.04057297,0.00002017109,0.00002032358,0.000002864425,0.000006721702,0.9565708,0.001095836,0.0008458542,0.0005889329,0.0001027476],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1804831,0.000004623188,0.816651,0.0007601759,0.00003128502,0.0001484956,0.000001802243,0.001552515,0.0003670292],"genre_scores_gemma":[0.7114725,7.580659e-7,0.2876205,0.0007875808,0.000004841737,0.000007547716,0.000001313263,0.000002816576,0.0001021101],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9368268,"threshold_uncertainty_score":0.2339326,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08638116512189156,"score_gpt":0.2927303218509723,"score_spread":0.2063491567290807,"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."}}