{"id":"W4416336086","doi":"10.18280/isi.300903","title":"A Mutation Analysis-Based Approach for Testing Coordination Mechanisms in Multi-Agent Systems: Application to Air Traffic Control Systems","year":2025,"lang":"","type":"article","venue":"Ingénierie des systèmes d information","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Air traffic control; Mutation; Control (management); Control system; Identification (biology)","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.006767012,0.000685782,0.001130131,0.004435383,0.0007818831,0.001515188,0.001164232,0.000562628,8.271207e-7],"category_scores_gemma":[0.002332416,0.0007849861,0.000293004,0.01045777,0.0001195148,0.004622659,0.0001115572,0.0003330831,0.00002822394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003263641,"about_ca_system_score_gemma":0.0006664827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005117254,"about_ca_topic_score_gemma":0.00002778271,"domain_scores_codex":[0.9929051,0.0009495547,0.003434067,0.0009401951,0.0008600536,0.0009109847],"domain_scores_gemma":[0.9932109,0.0006674196,0.002106962,0.001166324,0.002627478,0.0002209805],"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.0001501868,0.0002137286,0.0002045734,0.003040907,0.0002347222,5.544416e-7,0.002886252,0.882331,0.0003148917,0.04591133,0.00002333358,0.0646885],"study_design_scores_gemma":[0.002846484,0.0003261074,0.003604401,0.000656609,0.0005037967,0.000007747736,0.002244976,0.9882938,0.0003918363,0.0002687325,0.0001866485,0.0006688614],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005807442,0.0002999117,0.9799556,0.00008736307,0.001439351,0.0115109,0.0001439524,0.000431756,0.0003237755],"genre_scores_gemma":[0.6454414,0.000001652009,0.3481519,0.0001796758,0.00003598034,0.005742401,0.0003849673,0.00002104327,0.00004101642],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.639634,"threshold_uncertainty_score":0.9995213,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03211865122461743,"score_gpt":0.2888629261902687,"score_spread":0.2567442749656513,"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."}}