{"id":"W4403918536","doi":"10.1109/tse.2024.3488525","title":"AIM: Automated Input Set Minimization for Metamorphic Security Testing","year":2024,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"H2020 European Research Council; Natural Sciences and Engineering Research Council of Canada; Horizon 2020 Framework Programme; Science Foundation Ireland; Université du Luxembourg; University of Ottawa","keywords":"Computer science; Set (abstract data type); Minification; Programming language; Theoretical computer science; Software engineering; Data mining; Algorithm","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001118882,0.00134661,0.0007480847,0.001169774,0.0004208686,0.0007202626,0.001996461,0.001132834,0.004263369],"category_scores_gemma":[0.004027326,0.0004249146,0.0009574558,0.0006493918,0.0007061707,0.001012248,0.001503631,0.001394306,0.0007675042],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008489107,"about_ca_system_score_gemma":0.001536551,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001959509,"about_ca_topic_score_gemma":0.003219257,"domain_scores_codex":[0.9986631,0.0004803677,0.00006193604,0.0002149241,0.0004269371,0.0001527945],"domain_scores_gemma":[0.9980574,0.001237656,0.0001407166,0.0002606754,0.0002326353,0.00007081592],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0005159838,0.0005854532,0.005328612,0.0005814733,0.0001334066,0.000302548,0.0002003427,0.5002616,0.04758352,0.01058641,0.008553738,0.4253668],"study_design_scores_gemma":[0.00005811594,0.0001508625,0.0006713399,0.00002481321,0.00002715674,0.0001032657,0.00003603855,0.9789104,0.01361648,0.004602373,0.001787767,0.00001139124],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1004909,0.0004102526,0.8795344,0.0003792751,0.00004577678,0.0003485585,0.0004491052,0.01231916,0.006022773],"genre_scores_gemma":[0.4132612,0.0001238257,0.5817349,0.0002581308,0.00002057701,0.0003711515,0.0009698604,0.0007334538,0.002526898],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004263369,"threshold_uncertainty_score":0.01426238,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02010568178901174,"score_gpt":0.2504237561289142,"score_spread":0.2303180743399024,"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."}}