{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002403499,0.001254875,0.0009400594,0.002229673,0.0008923702,0.0009267177,0.002040359,0.001723168,0.001857421],"category_scores_gemma":[0.009242374,0.0004731879,0.001351408,0.000747993,0.002081275,0.001550404,0.001437185,0.001540844,0.0002792911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00100714,"about_ca_system_score_gemma":0.00206897,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005537814,"about_ca_topic_score_gemma":0.004878759,"domain_scores_codex":[0.9972019,0.001048502,0.0001282989,0.0004308583,0.0009807764,0.0002097114],"domain_scores_gemma":[0.9927873,0.00496807,0.0005006089,0.000625154,0.0008658826,0.0002530041],"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.0005742132,0.0009549521,0.01186319,0.0003259355,0.0003210951,0.001225666,0.0004233062,0.6121392,0.113653,0.06559067,0.001437319,0.1914915],"study_design_scores_gemma":[0.0000507089,0.0001733736,0.0005658829,0.00001137333,0.00003685399,0.0001805067,0.00003282904,0.9800552,0.011028,0.007487928,0.0003540427,0.00002322274],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07988005,0.00008506637,0.9157032,0.0001885265,0.0000476517,0.0001893619,0.00006881256,0.002155456,0.001681813],"genre_scores_gemma":[0.6768613,0.00006283484,0.3212394,0.0001375145,0.00001461401,0.0002183222,0.0001017532,0.0001953299,0.001168846],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005537814,"threshold_uncertainty_score":0.01271105,"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."}}