{"id":"W2462043969","doi":"10.22215/etd/2011-09481","title":"A UML/MARTE model analysis approach for detection of concurrency faults","year":2011,"lang":"en","type":"dissertation","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Library and Archives Canada","funders":"","keywords":"Computer science; Concurrency; Unified Modeling Language; Programming language; Software","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.003131215,0.001170419,0.0007778262,0.003927738,0.0007651161,0.002556219,0.001480818,0.001111186,0.004492134],"category_scores_gemma":[0.008107604,0.0009880767,0.001972158,0.0009579564,0.0005768223,0.002325246,0.001525288,0.001581109,0.001603391],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009284185,"about_ca_system_score_gemma":0.002642317,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006690778,"about_ca_topic_score_gemma":0.01321699,"domain_scores_codex":[0.9970207,0.0006298372,0.000265902,0.0003126853,0.001601593,0.0001693726],"domain_scores_gemma":[0.9963451,0.00126302,0.0003666892,0.0008204879,0.001100814,0.0001039246],"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.0005540512,0.0008317016,0.01056632,0.0008062827,0.0004560083,0.001222379,0.00214319,0.08777136,0.1082724,0.1041939,0.02238004,0.6608024],"study_design_scores_gemma":[0.00007119121,0.000143137,0.001639489,0.0001803254,0.0002015391,0.0006284937,0.0003460226,0.8766965,0.05473794,0.01897933,0.04629412,0.0000819312],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007262297,0.0001532361,0.9775599,0.0002824913,0.00005698353,0.0002075182,0.0004682979,0.0112144,0.002794792],"genre_scores_gemma":[0.08703777,0.0002021163,0.9069154,0.0001324461,0.00001959315,0.000165518,0.001478065,0.0008167033,0.003232291],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006690778,"threshold_uncertainty_score":0.0165596,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03995663302358163,"score_gpt":0.2926322019118875,"score_spread":0.2526755688883058,"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."}}