{"id":"W1969596141","doi":"10.3166/jesa.43.889-904","title":"Test exhaustif de contrôleurs logiques spécifiés en Grafcet Apports et limites d'une modélisation par machines de Mealy","year":2009,"lang":"fr","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Agence Nationale de la Recherche","keywords":"Mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.005323936,0.0007704481,0.0008959195,0.0005154696,0.0007837016,0.002234835,0.001360736,0.0004337264,0.00004180863],"category_scores_gemma":[0.007085,0.0007287031,0.0003680493,0.0009679198,0.0003526733,0.001802939,0.0002285728,0.001323801,0.00005616891],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007860718,"about_ca_system_score_gemma":0.0009622959,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000793575,"about_ca_topic_score_gemma":0.00005244485,"domain_scores_codex":[0.9934799,0.002124372,0.001423106,0.0007261548,0.0008503895,0.001396078],"domain_scores_gemma":[0.9940184,0.002650296,0.001228808,0.0007454829,0.000650911,0.0007061515],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00002511664,0.000565054,0.04469495,0.0002621835,0.0001001391,0.002236159,0.00572119,0.003224853,0.001507629,0.006273274,0.06063486,0.8747546],"study_design_scores_gemma":[0.0003805394,0.0009299415,0.4218301,0.001805519,0.0001166146,0.01210643,0.00002589656,0.3003002,0.0006399771,0.2603316,0.000955101,0.0005780665],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09725787,0.01066403,0.8642867,0.01349135,0.001170344,0.0005050634,0.0000326882,0.01018717,0.002404848],"genre_scores_gemma":[0.6592117,0.001561419,0.3354778,0.001923014,0.000737934,0.00001494938,0.000008107625,0.00007356778,0.0009914794],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8741766,"threshold_uncertainty_score":0.9995164,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03647001407798449,"score_gpt":0.3004943648160446,"score_spread":0.2640243507380601,"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."}}