{"id":"W7019460183","doi":"","title":"Génération de cas de test pour les systèmes temps réel modélisés par des automates à entrées sorties temporisées","year":2001,"lang":"fr","type":"other","venue":"Library and Archives Canada (Government of Canada)","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Test (biology); Reliability (semiconductor); Software; Automation; Set (abstract data type)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"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.001162824,0.0015983,0.001146532,0.001922265,0.001453958,0.00245372,0.001705253,0.001442284,0.04695955],"category_scores_gemma":[0.006679215,0.0006094226,0.001046222,0.0006701995,0.001092805,0.001561763,0.001181345,0.0009824225,0.01552895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002356369,"about_ca_system_score_gemma":0.002240613,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02539966,"about_ca_topic_score_gemma":0.0312859,"domain_scores_codex":[0.9976797,0.0002626956,0.00009855569,0.0004042323,0.001320437,0.0002344991],"domain_scores_gemma":[0.995193,0.001407167,0.0002536176,0.001221698,0.001660714,0.0002638537],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.007327814,0.0008055743,0.01233714,0.001057717,0.0002130931,0.001065403,0.0009582647,0.02399362,0.2202091,0.01484498,0.06224782,0.6549395],"study_design_scores_gemma":[0.0005210751,0.001683677,0.0226806,0.0001153998,0.0002320717,0.001066136,0.0004686095,0.09667168,0.7123992,0.004914797,0.1589912,0.0002554486],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.4670229,0.004048142,0.2484082,0.00144771,0.001799626,0.0008092447,0.004541956,0.1019121,0.1700101],"genre_scores_gemma":[0.7165952,0.0005581665,0.0615558,0.0004257623,0.0001146554,0.0002666106,0.00278547,0.006880658,0.2108177],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.04695955,"threshold_uncertainty_score":0.1570953,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005323572039442416,"score_gpt":0.1635306122158811,"score_spread":0.1582070401764387,"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."}}