{"id":"W4388483831","doi":"10.1109/ase56229.2023.00079","title":"Fuzzing for CPS Mutation Testing","year":2023,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs; Entomological Society of America","keywords":"Fuzz testing; Symbolic execution; Computer science; White-box testing; Software testing; Mutation testing; Software reliability testing; Mutation; Non-regression testing; Test strategy; Software performance testing; Software; Test case; Process (computing); Manual testing; Programming language; Software engineering; System integration testing; Reliability engineering; Keyword-driven testing; Software development; Software construction; Machine learning; Engineering","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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.002177148,0.0009205118,0.0005810438,0.001600414,0.0005802971,0.001120962,0.001318829,0.0009467752,0.002137726],"category_scores_gemma":[0.01511706,0.0003632904,0.001023964,0.0006532628,0.001760306,0.001783461,0.00119644,0.001396295,0.0003432707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001040861,"about_ca_system_score_gemma":0.001794224,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003055008,"about_ca_topic_score_gemma":0.002906868,"domain_scores_codex":[0.996739,0.000837246,0.000170365,0.0004260146,0.001619522,0.0002078393],"domain_scores_gemma":[0.9923816,0.004653119,0.000699988,0.001240654,0.0008826065,0.000141924],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004649691,0.0003376389,0.0162009,0.0005902509,0.0001774032,0.001003201,0.0005555173,0.3918864,0.1150548,0.07957161,0.003401859,0.3907554],"study_design_scores_gemma":[0.00005256936,0.0002314765,0.002778496,0.0001342169,0.00009140707,0.0006726889,0.00008244957,0.9102867,0.04715201,0.03224865,0.006215959,0.00005330731],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1346759,0.0004927139,0.8542889,0.0005173078,0.00008998768,0.0002185905,0.000207831,0.005757542,0.00375117],"genre_scores_gemma":[0.7212349,0.00028084,0.2764081,0.0002161855,0.00003218365,0.0001409805,0.0003480948,0.0003692718,0.0009694992],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003055008,"threshold_uncertainty_score":0.01151401,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09621675244336558,"score_gpt":0.3177917592940461,"score_spread":0.2215750068506805,"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."}}