{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003754587,0.00005037497,0.00005092506,0.00009843976,0.0001181952,0.00009390224,0.0002505301,0.00002167085,7.018948e-7],"category_scores_gemma":[0.00148189,0.00004613831,0.00002106675,0.0006065521,0.000007079082,0.0001573685,0.000085297,0.0000292958,0.00004099364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001174977,"about_ca_system_score_gemma":0.00002263584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002648166,"about_ca_topic_score_gemma":7.011059e-7,"domain_scores_codex":[0.9994656,0.000009189621,0.00009331213,0.0001767832,0.00008514528,0.0001699881],"domain_scores_gemma":[0.9986502,0.001022293,0.00003061962,0.0001899522,0.00007987976,0.00002706396],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001170491,0.00001397365,0.004398307,0.0000395682,0.000005411769,0.00001788062,0.0004785904,0.0002892103,0.001242149,0.03217363,0.07567049,0.8856696],"study_design_scores_gemma":[0.00008690591,0.00006070457,0.002321617,0.00002749325,0.000001437254,0.00001499459,0.000004842585,0.7505776,0.002669264,0.2435688,0.0005550559,0.000111281],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00478558,0.000004769298,0.9519954,0.00036481,0.0001197957,0.0001011594,3.359765e-7,0.04102919,0.001599016],"genre_scores_gemma":[0.2996632,1.335139e-7,0.6998785,0.0001665559,0.00003638491,0.00003660176,0.00000187414,0.000005377157,0.0002113035],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8855584,"threshold_uncertainty_score":0.1881465,"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."}}