{"id":"W4413863275","doi":"10.1007/978-3-031-94533-5_21","title":"Model-Based Testing of Non-deterministic Systems","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science","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.000921884,0.0007390566,0.000708392,0.0005841558,0.0002415812,0.0008744214,0.001501094,0.0009173043,0.002629892],"category_scores_gemma":[0.004995878,0.0006322652,0.000725051,0.0004799537,0.0009083156,0.001627962,0.0008144877,0.001403771,0.000395956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008391128,"about_ca_system_score_gemma":0.0005997928,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001357001,"about_ca_topic_score_gemma":0.002072086,"domain_scores_codex":[0.9985267,0.00051388,0.00005327496,0.0001542933,0.0006584245,0.00009338934],"domain_scores_gemma":[0.9963966,0.002685487,0.0001395138,0.000518094,0.0002076644,0.00005264669],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003560167,0.0001867198,0.001335475,0.000388096,0.0001029018,0.0003311224,0.0002018343,0.5237859,0.02623776,0.2075708,0.005595799,0.2339076],"study_design_scores_gemma":[0.0000263724,0.00008249243,0.000321882,0.0000393458,0.000021388,0.0001516131,0.00001074853,0.8708586,0.00862147,0.1163928,0.003461044,0.00001224063],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03140515,0.001305278,0.9571585,0.000292972,0.0001003436,0.00003890537,0.00007228387,0.001482793,0.008143709],"genre_scores_gemma":[0.7730543,0.0008097548,0.2157238,0.0001261048,0.00006365863,0.0001061982,0.0002585608,0.0003705451,0.009487022],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002629892,"threshold_uncertainty_score":0.008797884,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03303807198923141,"score_gpt":0.2728562915137713,"score_spread":0.2398182195245399,"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."}}