{"id":"W1647188876","doi":"10.1007/978-90-481-3660-5_48","title":"A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems","year":2009,"lang":"en","type":"book-chapter","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Correctness; Computer science; Reliability engineering; Reliability (semiconductor); Conformance testing; Quality (philosophy); Engineering; Programming language; Operating system; Standardization","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.003648763,0.0009762457,0.00117945,0.003941067,0.0003807077,0.002001543,0.002673227,0.001120566,0.003762404],"category_scores_gemma":[0.01164069,0.0008448742,0.0008929244,0.008459031,0.0008444461,0.004530823,0.0009241227,0.001510147,0.0009039578],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001080891,"about_ca_system_score_gemma":0.0009776107,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002276701,"about_ca_topic_score_gemma":0.002976181,"domain_scores_codex":[0.9964969,0.000807845,0.000308888,0.0003965993,0.001861752,0.0001282202],"domain_scores_gemma":[0.9881253,0.00889775,0.0004752403,0.0007789547,0.001579866,0.0001427874],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004135021,0.0001695376,0.001083103,0.001682368,0.00003858614,0.00003272029,0.0001096664,0.004384919,0.001475762,0.009919712,0.004678563,0.9763837],"study_design_scores_gemma":[0.0001900846,0.001289776,0.01869261,0.01130814,0.0006947661,0.003627026,0.0007181967,0.1521781,0.03593322,0.1068542,0.6681635,0.0003503734],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.01898552,0.6019108,0.3401034,0.002739842,0.0005035326,0.0002479837,0.000246198,0.001683923,0.03357884],"genre_scores_gemma":[0.1355956,0.5093035,0.3388166,0.001212357,0.0006093677,0.0002013016,0.0008858283,0.0006577614,0.0127177],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.003941067,"threshold_uncertainty_score":0.01929671,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1702223772347578,"score_gpt":0.3334765623555083,"score_spread":0.1632541851207505,"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."}}