{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00785409,0.0003850456,0.0003097588,0.000657543,0.0008483067,0.00110321,0.001412163,0.001372026,0.001230689],"category_scores_gemma":[0.05576396,0.0004229401,0.0003011212,0.0008093459,0.001434588,0.00334255,0.001057651,0.001615029,0.0001364065],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006653322,"about_ca_system_score_gemma":0.001795182,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004673557,"about_ca_topic_score_gemma":0.004319845,"domain_scores_codex":[0.9945381,0.003069582,0.0001752303,0.0002603306,0.001429577,0.0005271479],"domain_scores_gemma":[0.9151572,0.06800909,0.005019485,0.00602653,0.005012988,0.0007747377],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.003056282,0.003926009,0.11113,0.0007263349,0.0002362665,0.001331549,0.009597794,0.1636268,0.08431544,0.1587553,0.003515232,0.459783],"study_design_scores_gemma":[0.0002575245,0.001054439,0.01330021,0.00008936765,0.0002065079,0.0004358458,0.00190789,0.896627,0.04564218,0.03611932,0.004303232,0.00005639261],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8563218,0.000286762,0.1364313,0.0008892672,0.00003341279,0.0001271952,0.00003828429,0.000522132,0.005349885],"genre_scores_gemma":[0.9536989,0.00007411266,0.04523762,0.0000690609,0.000007652577,0.00003134999,0.00002784228,0.00006224151,0.0007911916],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00785409,"threshold_uncertainty_score":0.04153687,"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."}}