{"id":"W2480723093","doi":"10.1007/b136676","title":"Testing of Communicating Systems","year":2005,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"Tomsk State University; Tsinghua University; Georg-August-Universität Göttingen; Ohio State University; Universidad Complutense de Madrid; University of Ottawa","keywords":"Computer science","routes":{"ca_aff":true,"ca_fund":true,"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.0005507838,0.0009933212,0.0006567216,0.001096438,0.0004502173,0.001326025,0.001219353,0.0007259584,0.01150958],"category_scores_gemma":[0.003904788,0.0004888067,0.0004586274,0.001127145,0.00135258,0.001871907,0.0009377827,0.001321574,0.002294315],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003618117,"about_ca_system_score_gemma":0.0003727289,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003623033,"about_ca_topic_score_gemma":0.0003440176,"domain_scores_codex":[0.9989793,0.000211901,0.00003914648,0.0001064142,0.0006072327,0.00005601836],"domain_scores_gemma":[0.997453,0.001672921,0.00008477407,0.0004676517,0.0002505216,0.00007104639],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001501878,0.0001395263,0.0008383518,0.0005063803,0.00004833746,0.000448917,0.0005934,0.01297778,0.02057127,0.3034498,0.0209941,0.639282],"study_design_scores_gemma":[0.00007520652,0.0003682027,0.001669293,0.0004266449,0.0000829143,0.001649032,0.0001613076,0.09249294,0.0533759,0.7164483,0.1332052,0.0000450541],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03555641,0.007167939,0.7316118,0.001062066,0.0005499899,0.0001360334,0.0002157787,0.004124006,0.219576],"genre_scores_gemma":[0.6251608,0.00742505,0.2231585,0.0004476434,0.0006283887,0.0002396734,0.001046362,0.001170964,0.1407227],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01150958,"threshold_uncertainty_score":0.03850335,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03524634707782208,"score_gpt":0.2773361744500757,"score_spread":0.2420898273722537,"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."}}