{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02243624,0.0005074876,0.0003367253,0.001103488,0.0006924344,0.001413125,0.001401691,0.001124326,0.001033586],"category_scores_gemma":[0.09480496,0.0004853369,0.0003041971,0.0009876809,0.002090554,0.003786923,0.001914012,0.001100393,0.0001559877],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001276568,"about_ca_system_score_gemma":0.002021448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002347534,"about_ca_topic_score_gemma":0.001387789,"domain_scores_codex":[0.9829012,0.01195707,0.0006655231,0.0005355368,0.003302133,0.0006384886],"domain_scores_gemma":[0.8122732,0.14836,0.01517711,0.01533108,0.0079313,0.0009273283],"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.001404511,0.002340473,0.1222457,0.0005537659,0.0001302594,0.001072432,0.01099294,0.1443644,0.06931563,0.07199991,0.002172001,0.573408],"study_design_scores_gemma":[0.0002597641,0.00235296,0.03500672,0.0002614242,0.0001697065,0.0008781907,0.002035877,0.8140041,0.1043322,0.02807098,0.01252177,0.0001063175],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7723765,0.0001996002,0.2213536,0.0008130477,0.0000128228,0.0002073693,0.00003184655,0.001509692,0.003495542],"genre_scores_gemma":[0.883152,0.00009851744,0.1159718,0.00007659342,0.000007104595,0.00009116364,0.0000526977,0.0001273656,0.0004226629],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02243624,"threshold_uncertainty_score":0.1186556,"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."}}