{"id":"W2105821857","doi":"10.1145/566171.566183","title":"Investigating the use of analysis contracts to support fault isolation in object oriented code","year":2002,"lang":"en","type":"article","venue":"ACM SIGSOFT Software Engineering Notes","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Isolation (microbiology); Computer science; Precondition; Design by contract; Software engineering; Reuse; Object-oriented programming; Software; Instrumentation (computer programming); Code (set theory); Object (grammar); Code reuse; Fault detection and isolation; Reliability engineering; Risk analysis (engineering); Programming language; Software system; Engineering; Software construction; Set (abstract data type); Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.0004457627,0.0002345738,0.0003540856,0.000555594,0.00008268805,0.0001266503,0.0008992489,0.00009904322,0.000009364138],"category_scores_gemma":[0.2069352,0.0002030498,0.0001142787,0.002775927,0.00003345395,0.0004617983,0.0003205906,0.000252396,0.000008918428],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000063507,"about_ca_system_score_gemma":0.00002663086,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003223195,"about_ca_topic_score_gemma":0.00004550524,"domain_scores_codex":[0.9982849,0.00005806359,0.0005021116,0.000416639,0.0003564121,0.0003819251],"domain_scores_gemma":[0.9566954,0.04151729,0.0001868905,0.001272849,0.0001931918,0.0001343119],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.000001815249,0.00005028855,0.9031805,0.00002836803,0.00007284507,0.00001120746,0.002315038,0.08051827,0.0008071624,0.0001560047,0.001321896,0.01153658],"study_design_scores_gemma":[0.0003501686,0.0002466638,0.539974,0.0002753986,0.0001152337,0.00001904862,0.000005560722,0.4518456,0.005059356,0.0001978144,0.001228624,0.000682539],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3451802,0.00005562968,0.650466,0.0003318944,0.0001076294,0.0002186687,0.00001237292,0.003626783,8.443382e-7],"genre_scores_gemma":[0.6207497,0.000002664272,0.3789527,0.0002230334,0.00001714437,0.0000252569,0.000006700449,0.00001513649,0.000007621905],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.3713273,"threshold_uncertainty_score":0.8280131,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05852494155426891,"score_gpt":0.2645884942805956,"score_spread":0.2060635527263267,"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."}}