{"id":"W4402526955","doi":"10.1145/3679006.3685068","title":"Using Category Partition to Detect Metamorphic Relations","year":2024,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Partition (number theory); Metamorphic rock; Computer science; Artificial intelligence; Geology; Mathematics; Combinatorics; Petrology","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002551485,0.00006522246,0.00005786869,0.0001738543,0.0000883879,0.0002168014,0.0002038918,0.000030493,0.00002473494],"category_scores_gemma":[0.000121312,0.00005645382,0.00003581051,0.0006029226,0.000009582263,0.0002836279,0.00009277514,0.00007606782,0.000242163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004392459,"about_ca_system_score_gemma":0.00005494719,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001422192,"about_ca_topic_score_gemma":0.000006679265,"domain_scores_codex":[0.999384,0.00002849086,0.0001082,0.0002337004,0.0001131008,0.0001324684],"domain_scores_gemma":[0.9994642,0.0001537517,0.00001031132,0.0002817822,0.00003290514,0.00005705665],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002923942,0.00004107343,0.001479072,0.00007317482,0.00006716778,0.0001697534,0.001519307,0.004511819,0.01172648,0.4409385,0.2571492,0.2823215],"study_design_scores_gemma":[0.00002270019,0.00005256273,0.000579642,0.00007827563,0.0000140428,0.00007162645,0.000001528209,0.5715456,0.005747459,0.4167673,0.00491883,0.0002004029],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003158879,0.0001621774,0.9762751,0.0007559824,0.0002234673,0.0000722015,3.773154e-7,0.01740263,0.001949195],"genre_scores_gemma":[0.5339306,5.51293e-7,0.4656291,0.0001791859,0.00002492939,0.000009342434,3.411541e-7,0.000004721663,0.0002211966],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5670338,"threshold_uncertainty_score":0.3112597,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08057092530792093,"score_gpt":0.3225163007733012,"score_spread":0.2419453754653803,"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."}}