{"id":"W4410028485","doi":"10.1145/3733717","title":"Learning-Guided Fuzzing for Testing Stateful SDN Controllers","year":2025,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Smart Grid Security and Resilience","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Fuzz testing; Stateful firewall; Computer science; Computer security; Programming language; Software","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005188158,0.0001974461,0.000314227,0.0002648817,0.0001959918,0.00002397232,0.0001433393,0.0001616615,0.000005799215],"category_scores_gemma":[0.002573354,0.0002065089,0.00007771749,0.0002870784,0.00004122486,0.00006539992,0.00000580405,0.0004063105,0.000002003105],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004140016,"about_ca_system_score_gemma":0.00002383964,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001176022,"about_ca_topic_score_gemma":0.000004227786,"domain_scores_codex":[0.999041,0.00007022155,0.0002407226,0.0002454809,0.00005922022,0.0003433042],"domain_scores_gemma":[0.9946263,0.005025377,0.00001942422,0.0002018628,0.00005416375,0.00007288471],"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.00002786481,0.000010769,0.0001786178,0.0002287935,0.000113344,0.000002325213,0.0003017672,0.9439369,0.00395457,0.0001325571,0.00007755901,0.05103496],"study_design_scores_gemma":[0.006280847,0.000874212,0.004573449,0.0007245864,0.0005081468,0.0001501681,0.00108666,0.8563043,0.0484101,0.002821566,0.07653548,0.001730447],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06767533,0.0004789497,0.9294751,0.00008023477,0.00117201,0.0002093917,0.00001006304,0.0008594647,0.00003951269],"genre_scores_gemma":[0.3616842,0.0002086684,0.6373941,0.00009495381,0.00007253667,0.0001610097,0.000004988597,0.00004625348,0.0003332156],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2940089,"threshold_uncertainty_score":0.8421188,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0684615723814985,"score_gpt":0.3068296410605721,"score_spread":0.2383680686790736,"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."}}