{"id":"W2128416870","doi":"10.1007/s00165-005-0083-8","title":"Constructing checking sequences for distributed testing","year":2006,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Observability; Controllability; Computer science; Sequence (biology); Finite-state machine; Theory of computation; Synchronization (alternating current); Automaton; Model checking; Implementation; State (computer science); Sequence diagram; Observable; Reset (finance); Distributed computing; Programming language; Theoretical computer science; Unified Modeling Language; Mathematics; Software","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.003599677,0.0007576636,0.0006451504,0.00143991,0.0008472105,0.0009056743,0.001210687,0.0009583494,0.00291212],"category_scores_gemma":[0.01391387,0.0005905373,0.0007427484,0.000706617,0.001913981,0.001638016,0.001612316,0.001579953,0.0006572129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007721831,"about_ca_system_score_gemma":0.001630411,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009892602,"about_ca_topic_score_gemma":0.0009374146,"domain_scores_codex":[0.9962251,0.001431,0.0003488699,0.0006544677,0.001092928,0.0002476063],"domain_scores_gemma":[0.9810404,0.01187545,0.001370974,0.003074341,0.002189983,0.0004487901],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001125324,0.00059626,0.006710618,0.0006416083,0.00007510799,0.00152983,0.001712985,0.1756064,0.06326568,0.2819869,0.002930149,0.4638192],"study_design_scores_gemma":[0.0001940908,0.0007205314,0.0009064078,0.0002223749,0.00007876491,0.0006147409,0.0002137618,0.6400704,0.1165238,0.2251825,0.0151983,0.0000744734],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04136954,0.00004627491,0.9549347,0.00007291621,0.00003193564,0.0001822007,0.00005735738,0.001999913,0.001305027],"genre_scores_gemma":[0.3429168,0.00005191545,0.6547126,0.00005783981,0.00002617325,0.0003027858,0.0003502646,0.0002353552,0.001346276],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003599677,"threshold_uncertainty_score":0.01903713,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02342987711558184,"score_gpt":0.2589538458296592,"score_spread":0.2355239687140774,"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."}}