{"id":"W6986752330","doi":"","title":"On queued testing and its application to delay-insensitive systems","year":2003,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; McGill University","keywords":"Asynchronous communication; Cover (algebra); System testing; Model-based testing; Queueing theory; Range (aeronautics)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003806369,0.0008489856,0.0005554659,0.00148166,0.0006868519,0.001380794,0.001358993,0.0008472278,0.002120307],"category_scores_gemma":[0.007532544,0.0005405673,0.001206979,0.001748485,0.004700319,0.00348751,0.002041747,0.002825814,0.0004323934],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002343996,"about_ca_system_score_gemma":0.001578623,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004410523,"about_ca_topic_score_gemma":0.001948952,"domain_scores_codex":[0.9979026,0.0006876222,0.0001808932,0.000338511,0.0006918893,0.0001984327],"domain_scores_gemma":[0.9941081,0.004282114,0.0002467725,0.0005838553,0.0006522631,0.000127023],"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.00003260504,0.00003196687,0.0003116493,0.0001044478,0.00001108691,0.0001730788,0.0004150918,0.03592636,0.002589888,0.9100576,0.0008114298,0.04953476],"study_design_scores_gemma":[0.0000262856,0.00009449763,0.0002522302,0.0001260648,0.00002359599,0.000217065,0.00006701799,0.1889025,0.004594571,0.7853437,0.0202989,0.0000536325],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005261722,0.001168051,0.9858243,0.0004645703,0.00008370188,0.00004105531,0.00002755692,0.0001988453,0.006930222],"genre_scores_gemma":[0.450229,0.006703164,0.5288265,0.0008320778,0.0004970189,0.0003792464,0.0001679851,0.0002870371,0.01207803],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004410523,"threshold_uncertainty_score":0.02013022,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02877091056390278,"score_gpt":0.2759297466896528,"score_spread":0.24715883612575,"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."}}