{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006903835,0.0001751163,0.0002726592,0.000121321,0.0003367474,0.0001481104,0.0006605496,0.00005937865,5.695072e-7],"category_scores_gemma":[0.0008728157,0.0001721641,0.0000882836,0.000554109,0.00008424164,0.0004840842,0.0003118834,0.000129302,8.933936e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006282669,"about_ca_system_score_gemma":0.00009466414,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002241573,"about_ca_topic_score_gemma":0.000005875989,"domain_scores_codex":[0.9983947,0.00002485768,0.0005107606,0.000315911,0.0002336606,0.0005201597],"domain_scores_gemma":[0.9976656,0.001236357,0.0004601584,0.0002781898,0.0003151253,0.00004451656],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009090902,0.00009167643,0.06891271,0.0003108633,0.00003107548,0.00002373181,0.0003589352,0.00614594,0.001583793,0.6757119,0.0008102001,0.2460101],"study_design_scores_gemma":[0.0003295173,0.0001627183,0.004518934,0.0003534188,0.000009062227,0.0001366545,0.00003749538,0.7823436,0.01831962,0.1934398,0.00003827307,0.0003108952],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1147572,0.00003985649,0.8765565,0.00006621989,0.0001893632,0.0001754349,0.00000728373,0.004500808,0.003707321],"genre_scores_gemma":[0.5444501,5.208078e-8,0.455406,0.00001371165,0.0001134409,0.00000259942,0.000005634817,0.00000677139,0.000001660401],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7761976,"threshold_uncertainty_score":0.7020648,"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."}}