{"id":"W2034873526","doi":"10.1007/s00446-008-0062-4","title":"Checking sequences for distributed test architectures","year":2008,"lang":"en","type":"article","venue":"Distributed Computing","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Observability; Controllability; Computer science; Sequence (biology); Construct (python library); Sequence diagram; Distributed computing; Test (biology); Model checking; Digraph; Theoretical computer science; Programming language; Unified Modeling Language; Mathematics; 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.006253239,0.001349767,0.001109196,0.002396588,0.00123711,0.002092357,0.002944747,0.002162492,0.005696523],"category_scores_gemma":[0.03713331,0.0009888442,0.001277106,0.001374195,0.002405126,0.004468919,0.00258177,0.001960818,0.0008394103],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001680812,"about_ca_system_score_gemma":0.003154975,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003536064,"about_ca_topic_score_gemma":0.006391599,"domain_scores_codex":[0.9921378,0.003173489,0.0007053586,0.001067894,0.0021293,0.0007861726],"domain_scores_gemma":[0.924105,0.05696542,0.003974479,0.008504717,0.00527409,0.001176144],"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.004748357,0.00134845,0.03014487,0.00121608,0.0003158542,0.001956325,0.001988355,0.2190951,0.04073011,0.2698539,0.01332081,0.4152817],"study_design_scores_gemma":[0.0004750743,0.0005504891,0.001797886,0.0002135269,0.0002060461,0.000448917,0.0002448487,0.6217657,0.04881046,0.3201542,0.005239173,0.0000935432],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1718159,0.0002437488,0.8127167,0.0005973174,0.00009616583,0.0003240345,0.0004602565,0.009521416,0.004224446],"genre_scores_gemma":[0.7227802,0.000100455,0.2713146,0.0002482076,0.00004707689,0.000263049,0.001082877,0.0008613068,0.003302364],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006253239,"threshold_uncertainty_score":0.03307068,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03386251293888783,"score_gpt":0.2757959318795185,"score_spread":0.2419334189406307,"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."}}