{"id":"W4243194988","doi":"10.22215/etd/2010-09638","title":"Assessing the effectiveness of design contracts as test oracles in the detection of faults in concurrent object-oriented software","year":2010,"lang":"en","type":"dissertation","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University; Canadian Heritage; Library and Archives Canada","funders":"","keywords":"Object (grammar); Test (biology); Software; Humanities; Computer science; Art; Artificial intelligence; Programming language; Geology","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.01373368,0.0004825454,0.0002981764,0.001207269,0.0003376704,0.001526469,0.0008634466,0.001246275,0.001255649],"category_scores_gemma":[0.1225787,0.0002984102,0.000269548,0.0009223018,0.0009540915,0.002399343,0.0007544028,0.0007100215,0.0002692229],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001120058,"about_ca_system_score_gemma":0.001541357,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004686355,"about_ca_topic_score_gemma":0.004480246,"domain_scores_codex":[0.9886513,0.006758453,0.0007964121,0.0006685176,0.002758841,0.0003666921],"domain_scores_gemma":[0.8087848,0.1623363,0.009527023,0.00780556,0.00919575,0.002350528],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.005787537,0.004289925,0.2449411,0.0004860443,0.0002032794,0.0001781444,0.002120695,0.1478514,0.0216174,0.008523971,0.001699097,0.5623014],"study_design_scores_gemma":[0.000385894,0.007388776,0.0751567,0.0001114842,0.0002774602,0.0003248658,0.001290472,0.8750198,0.03204495,0.005330301,0.002591133,0.00007825992],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9634583,0.0003290032,0.03175554,0.0003013209,0.00002064084,0.000132488,0.00006473085,0.0002504883,0.003687366],"genre_scores_gemma":[0.9630831,0.0001055752,0.03541729,0.00004074198,0.000008987246,0.00003252217,0.00009482918,0.00004063624,0.001176341],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01373368,"threshold_uncertainty_score":0.07263154,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02214401705909398,"score_gpt":0.3083866129767514,"score_spread":0.2862425959176574,"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."}}