{"id":"W2119582290","doi":"10.1002/spe.520","title":"Investigating the use of analysis contracts to improve the testability of object‐oriented code","year":2003,"lang":"en","type":"article","venue":"Software Practice and Experience","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":75,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Testability; Precondition; Software engineering; Reuse; Isolation (microbiology); Design by contract; Programming language; Coding (social sciences); Software; Reliability engineering; Software system; Software construction; 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":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.001320757,0.0001438222,0.0002447603,0.00007800086,0.0002624241,0.000133271,0.0005514449,0.00004857881,0.000002244602],"category_scores_gemma":[0.06437049,0.00008743376,0.00007063071,0.001605084,0.0003614638,0.0008713882,0.000225275,0.0001884786,6.739419e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001883998,"about_ca_system_score_gemma":0.0001199584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009989283,"about_ca_topic_score_gemma":0.00003045985,"domain_scores_codex":[0.9982135,0.0003772303,0.0004019215,0.0003982714,0.0003701461,0.000238893],"domain_scores_gemma":[0.9887447,0.009087971,0.0004385748,0.001117063,0.000509966,0.0001016909],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0000929297,0.0007741703,0.650276,0.0001373715,0.0005704074,0.0000188976,0.2111832,0.00154059,0.010267,0.02683922,0.002285633,0.09601457],"study_design_scores_gemma":[0.002641165,0.004268839,0.3036772,0.0009566621,0.002871227,0.0005583701,0.02534082,0.08330569,0.3901797,0.06083423,0.1210397,0.004326405],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3858496,0.0001793612,0.6119543,0.0009279998,0.00009747671,0.0003316111,0.000007260905,0.0006115306,0.00004093022],"genre_scores_gemma":[0.6856233,0.000009358632,0.3134229,0.0008831591,0.000005332945,0.00004369885,3.599294e-7,0.000004399456,0.000007384097],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.3799127,"threshold_uncertainty_score":0.9435107,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04497579318473231,"score_gpt":0.3108865109980903,"score_spread":0.265910717813358,"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."}}