{"id":"W4252902208","doi":"10.1145/566180.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 Engineering Research","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Isolation (microbiology); Precondition; Design by contract; Software engineering; Reuse; Object-oriented programming; Software; Object (grammar); Code reuse; Code (set theory); Fault detection and isolation; Instrumentation (computer programming); Programming language; Reliability engineering; Software system; Software construction; Engineering; Set (abstract data type); 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":["metaresearch","metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000559106,0.0002815868,0.0004140502,0.0008736943,0.00007660915,0.0001629325,0.001291104,0.0001194023,0.00002791957],"category_scores_gemma":[0.3365549,0.0002528155,0.0001401386,0.004442177,0.00003867117,0.000666844,0.0004735938,0.000406989,0.00002828959],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001234707,"about_ca_system_score_gemma":0.00004202493,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001977486,"about_ca_topic_score_gemma":0.0000570649,"domain_scores_codex":[0.9976138,0.00006448285,0.0005661175,0.000516289,0.0006433427,0.000595931],"domain_scores_gemma":[0.9078832,0.0898359,0.0001355783,0.00164259,0.0002628639,0.000239907],"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.00000175451,0.00003532083,0.6717574,0.000032002,0.00009197432,0.00001246687,0.001598427,0.3207509,0.001723456,0.0001048485,0.0001978756,0.003693597],"study_design_scores_gemma":[0.0003193885,0.0001239672,0.7837033,0.0000987911,0.00004867471,0.000008387166,0.000007877617,0.2101626,0.003923971,0.000006204268,0.001193894,0.0004029279],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5918586,0.0000726641,0.4068432,0.0003052281,0.0001527065,0.000272754,0.00001664204,0.0004778983,3.546316e-7],"genre_scores_gemma":[0.8257611,0.000006468614,0.1739679,0.0001197454,0.00003295751,0.00004771111,0.00001141384,0.00003078388,0.00002192365],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3359958,"threshold_uncertainty_score":0.9999924,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05419506097292486,"score_gpt":0.2721160425029615,"score_spread":0.2179209815300366,"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."}}