{"id":"W1618890699","doi":"10.1007/3-540-44830-6_12","title":"Generating Checking Sequences for a Distributed Test Architecture","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Observability; Controllability; Computer science; Sequence (biology); Communication source; Test (biology); Current (fluid); Sequence diagram; Algorithm; Programming language; Mathematics; Software; Unified Modeling Language; Telecommunications; Engineering","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.001491357,0.001209291,0.0006227745,0.001710177,0.0007169918,0.0009972636,0.001470085,0.001572149,0.009536712],"category_scores_gemma":[0.008514616,0.0007475801,0.001077982,0.0009180331,0.001275314,0.001481103,0.001546865,0.001116099,0.001455856],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009335001,"about_ca_system_score_gemma":0.001677416,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002423811,"about_ca_topic_score_gemma":0.004464833,"domain_scores_codex":[0.9984899,0.0004708395,0.0001009571,0.0003046972,0.0004544085,0.0001791907],"domain_scores_gemma":[0.9903009,0.00708763,0.0005052597,0.001052675,0.000876084,0.0001774837],"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.001716569,0.000675167,0.009924615,0.0007205082,0.0001387564,0.001856223,0.000994178,0.2763675,0.07463421,0.08895928,0.0118022,0.5322109],"study_design_scores_gemma":[0.000347293,0.000482375,0.001130747,0.00009903268,0.00013848,0.0004099963,0.0001401298,0.8376054,0.05813731,0.09614379,0.005309361,0.0000561632],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08872952,0.00004736252,0.8956545,0.0002212622,0.00004401203,0.0003112463,0.0003279349,0.01060273,0.004061404],"genre_scores_gemma":[0.4872442,0.00004440126,0.5067226,0.0001002084,0.00002175298,0.0002676643,0.0008315307,0.001168166,0.003599306],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009536712,"threshold_uncertainty_score":0.03190351,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02648434062110274,"score_gpt":0.2661995436337271,"score_spread":0.2397152030126243,"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."}}