{"id":"W4251245562","doi":"10.1002/stvr.396","title":"Transition covering tests for systems with queues","year":2008,"lang":"en","type":"article","venue":"Software Testing Verification and Reliability","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal; Nortel (Canada)","funders":"","keywords":"Context (archaeology); Computer science; Queue; Metric (unit); Concurrency; Cover (algebra); Model-based testing; Test (biology); Test case; Reliability engineering; Distributed computing; Programming language; Engineering; Operations management; Mechanical 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.001860967,0.0006027746,0.0007121117,0.001466479,0.0005490912,0.001397303,0.0009487871,0.0009506403,0.001757221],"category_scores_gemma":[0.01376034,0.0003917424,0.001013363,0.0008416457,0.001828429,0.002040806,0.001913463,0.00119095,0.0002195276],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007230683,"about_ca_system_score_gemma":0.0008125063,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001512218,"about_ca_topic_score_gemma":0.0007698928,"domain_scores_codex":[0.9960245,0.00132013,0.0002981786,0.0005036467,0.001450644,0.0004029392],"domain_scores_gemma":[0.9833786,0.0133572,0.0008699974,0.001090409,0.0009893054,0.0003145368],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001213472,0.0002985137,0.01318149,0.0006298569,0.0002096593,0.003737358,0.002362631,0.3586198,0.06942341,0.2939889,0.002585148,0.2537497],"study_design_scores_gemma":[0.00006892056,0.0002903749,0.001672383,0.0001269514,0.00006715128,0.0009302077,0.0001550958,0.8110813,0.05254556,0.1258835,0.007112031,0.00006647371],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1044965,0.0002259482,0.890035,0.0001559181,0.00004020617,0.0001018095,0.00008203561,0.002071169,0.002791525],"genre_scores_gemma":[0.8299295,0.0001201411,0.1684719,0.00008785753,0.00004374221,0.0001315744,0.0001864858,0.0001984503,0.0008304048],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001860967,"threshold_uncertainty_score":0.0098418,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0432607937311662,"score_gpt":0.2596500747047716,"score_spread":0.2163892809736054,"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."}}