{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003228353,0.0002143566,0.0003913925,0.0001840468,0.00008174686,0.0001243826,0.0007200849,0.0002710251,0.000001617804],"category_scores_gemma":[0.001515948,0.0001185107,0.00008515816,0.0006562003,0.00006034724,0.000311384,0.00003342046,0.0004998813,0.000003150133],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000465972,"about_ca_system_score_gemma":0.0002409813,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001758976,"about_ca_topic_score_gemma":0.003099248,"domain_scores_codex":[0.9973771,0.001143874,0.0005046192,0.0003400143,0.0004186094,0.0002157636],"domain_scores_gemma":[0.9945649,0.004159642,0.0005463058,0.0004121388,0.0002940298,0.00002298965],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0002810168,0.001866679,0.02971428,0.002428133,0.0001134293,0.00005988098,0.02282766,0.000278137,0.1028597,0.04901648,0.000008989315,0.7905456],"study_design_scores_gemma":[0.002303935,0.001027159,0.6310608,0.0008762259,0.0000694711,0.00004113099,0.007110869,0.004910534,0.3395119,0.01204479,0.0003519125,0.0006913258],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3481646,0.0005911728,0.6448511,0.00001076865,0.002342151,0.002437984,0.000001288901,0.00007849566,0.001522475],"genre_scores_gemma":[0.9993268,0.000009394383,0.0004366798,0.000007517917,0.00002815244,0.0001295936,0.00002147696,0.00001085576,0.00002948694],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7898543,"threshold_uncertainty_score":0.4832727,"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."}}