{"id":"W2077772687","doi":"10.1016/s0950-5849(03)00060-0","title":"UIO sequence based checking sequences for distributed test architectures","year":2003,"lang":"en","type":"article","venue":"Information and Software Technology","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Observability; Controllability; Sequence (biology); Sequence diagram; Synchronization (alternating current); Computer science; Current (fluid); Control theory (sociology); Real-time computing; Engineering; Mathematics; Software; Channel (broadcasting); Artificial intelligence; Unified Modeling Language; Computer network; Control (management); Programming language; Electrical engineering","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.003961203,0.0009255714,0.000789293,0.002323691,0.0008866181,0.001427579,0.002218776,0.001310758,0.007182269],"category_scores_gemma":[0.01818011,0.0006930801,0.0006282883,0.0009941359,0.001378449,0.00284835,0.001944936,0.001191346,0.001034437],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001157597,"about_ca_system_score_gemma":0.001996526,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002641561,"about_ca_topic_score_gemma":0.004714333,"domain_scores_codex":[0.9958683,0.001698701,0.0003900558,0.0004984443,0.001081024,0.0004633642],"domain_scores_gemma":[0.9786716,0.01107449,0.00177126,0.005041055,0.002889823,0.0005518454],"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.005216333,0.0008245138,0.01341824,0.0006449293,0.0001191187,0.0009196168,0.0009980839,0.09098636,0.05195213,0.1253095,0.01066533,0.6989459],"study_design_scores_gemma":[0.000377701,0.0009804086,0.002125932,0.0002798119,0.0001301179,0.0005593548,0.0001838146,0.7548718,0.1196149,0.1073967,0.01336564,0.0001138546],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06976175,0.0002240322,0.91089,0.0002011363,0.00009999436,0.0002520469,0.0002528132,0.01346721,0.004851102],"genre_scores_gemma":[0.6148876,0.00008351295,0.3783558,0.0002260044,0.00003810306,0.0003165781,0.000681298,0.0009409141,0.004470135],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007182269,"threshold_uncertainty_score":0.02402711,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01946076082708154,"score_gpt":0.2629249510792006,"score_spread":0.2434641902521191,"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."}}