{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002605639,0.001327398,0.0008157549,0.001116549,0.0004696592,0.0008065266,0.00185191,0.001350612,0.001247381],"category_scores_gemma":[0.02164004,0.0005981235,0.001213091,0.0003880308,0.001836454,0.002153738,0.001547877,0.001895325,0.0001491913],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001519927,"about_ca_system_score_gemma":0.002090113,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005911865,"about_ca_topic_score_gemma":0.008197906,"domain_scores_codex":[0.9973889,0.0009529415,0.0001707051,0.000570471,0.0007193249,0.0001975932],"domain_scores_gemma":[0.9812122,0.01504344,0.0009556705,0.001441529,0.001037948,0.0003091623],"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.0002832542,0.0001723403,0.008070155,0.0001716802,0.00009632149,0.0001284619,0.0001972427,0.8878142,0.007714885,0.006357286,0.000570815,0.08842341],"study_design_scores_gemma":[0.00001156561,0.00003314118,0.0002093966,0.000007942203,0.000007407947,0.00001941133,0.00001010569,0.9937167,0.001969722,0.00390016,0.0001096206,0.000004960282],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1415111,0.0004182511,0.852679,0.0004134257,0.0000435686,0.0001531612,0.000162029,0.003666966,0.0009525377],"genre_scores_gemma":[0.8400962,0.00009111228,0.1585918,0.0002165737,0.00001861705,0.0001301809,0.0002729658,0.0001462703,0.0004363079],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005911865,"threshold_uncertainty_score":0.01378006,"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."}}