{"id":"W6979280317","doi":"","title":"Simulink Mutation Testing using CodeBERT","year":2025,"lang":"en","type":"article","venue":"arXiv (Cornell University)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mutation; Mutation testing; Process (computing); Mutant; Frameshift mutation","routes":{"ca_aff":true,"ca_fund":true,"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.0001777498,0.0001059742,0.0001047174,0.0001986702,0.0002124016,0.00007100176,0.0005522597,0.00006131874,0.000001883887],"category_scores_gemma":[0.0004239335,0.0001238562,0.00004095681,0.001384486,0.00004421385,0.000344164,0.0002309032,0.0001101514,0.00001184327],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001009351,"about_ca_system_score_gemma":0.0001065617,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002070102,"about_ca_topic_score_gemma":0.000004584303,"domain_scores_codex":[0.9992132,0.00005238359,0.0001033753,0.0003963457,0.00004106661,0.0001936877],"domain_scores_gemma":[0.9987991,0.000511653,0.00006908283,0.0004243611,0.0001485528,0.00004725491],"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.00002737294,0.0002087894,0.1375802,0.0000995989,0.00008526822,0.00096967,0.0004158471,0.4377371,0.0009780885,0.3673545,0.003500438,0.05104313],"study_design_scores_gemma":[0.0001480798,0.00002052952,0.001042375,0.00006577234,0.00001268903,0.000007260537,0.00000482428,0.8893498,0.0002996133,0.1088465,0.00008343791,0.0001191638],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1279505,0.0000152449,0.8651907,0.0000440982,0.0001210859,0.00006772617,3.9951e-7,0.004130995,0.00247919],"genre_scores_gemma":[0.8988768,0.000001193576,0.1005455,0.0002038508,0.00001331417,1.601854e-7,6.656302e-7,0.000004706645,0.0003538671],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7709263,"threshold_uncertainty_score":0.5050707,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1159398562788714,"score_gpt":0.2193839124784322,"score_spread":0.1034440561995607,"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."}}