{"id":"W4408734932","doi":"10.1007/s42979-025-03800-0","title":"A Mechanized Method for Risk-Based Test Case Generation and Prioritization by an Improved Correlation System","year":2025,"lang":"en","type":"article","venue":"SN Computer Science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Tornado Spectral Systems (Canada)","funders":"","keywords":"Prioritization; Test (biology); Reliability engineering; Computer science; Correlation; Risk analysis (engineering); Statistics; Engineering; Mathematics; Geology; Business; Management science","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.001753133,0.001276916,0.001193831,0.002929125,0.0005241975,0.001575846,0.001891219,0.0008542626,0.0155012],"category_scores_gemma":[0.009501932,0.0009649571,0.001096255,0.001771637,0.0006205678,0.001206962,0.001743716,0.001658166,0.003223874],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008231857,"about_ca_system_score_gemma":0.003113605,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004813273,"about_ca_topic_score_gemma":0.005252806,"domain_scores_codex":[0.9961702,0.001055688,0.0003644311,0.0007983281,0.001379212,0.0002320613],"domain_scores_gemma":[0.9917924,0.00441641,0.0006345007,0.001438709,0.001542198,0.0001756895],"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.0004535241,0.0004091782,0.00228671,0.0003900063,0.0001795868,0.0004125531,0.000216953,0.04558005,0.04708676,0.01241954,0.01116539,0.8793997],"study_design_scores_gemma":[0.0002825247,0.0002923639,0.002178088,0.0000917227,0.000166124,0.0008464252,0.00005168498,0.938386,0.03611306,0.008963714,0.01251828,0.0001099978],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002395617,0.00002815566,0.9877496,0.00003290707,0.00001990888,0.0001283031,0.00008891249,0.009116217,0.0004404072],"genre_scores_gemma":[0.05843605,0.0000321503,0.9389306,0.00009377008,0.00002734005,0.0002667593,0.000320839,0.0006639667,0.001228555],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0155012,"threshold_uncertainty_score":0.0518567,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01295121492161575,"score_gpt":0.2899404769022021,"score_spread":0.2769892619805864,"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."}}