{"id":"W6990863403","doi":"","title":"Enabling Language-Specific Transformations in Language-Agnostic Program Reduction","year":2023,"lang":"en","type":"dissertation","venue":"UWSpace (University of Waterloo)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Blackberry (Canada)","funders":"","keywords":"Metis; Program transformation; Transformation (genetics); Reduction (mathematics); Matching (statistics); Domain (mathematical analysis); Abstract syntax tree; Rewriting","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.002749427,0.001646538,0.0007326706,0.001719207,0.0007087552,0.001893178,0.002899293,0.001289059,0.002580299],"category_scores_gemma":[0.007625513,0.0008159022,0.001886633,0.0014006,0.002480777,0.00441226,0.003485178,0.00336419,0.001483909],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001294658,"about_ca_system_score_gemma":0.003244876,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003400552,"about_ca_topic_score_gemma":0.005906434,"domain_scores_codex":[0.995464,0.0009853175,0.0004765643,0.0008745007,0.001726911,0.000472728],"domain_scores_gemma":[0.9946178,0.001642824,0.0005556027,0.002191029,0.0008710969,0.0001216639],"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.0004445397,0.0007831503,0.007846039,0.002000233,0.0002132252,0.001074938,0.002019872,0.06701075,0.1775039,0.1419247,0.02992621,0.5692524],"study_design_scores_gemma":[0.0001666558,0.0005817403,0.003257661,0.0003221869,0.0002943224,0.001639478,0.0004793297,0.4427788,0.2632777,0.0986117,0.1883418,0.0002485495],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02201119,0.0005920455,0.9212131,0.000444021,0.00008633995,0.0004761681,0.0004525646,0.04812174,0.006602843],"genre_scores_gemma":[0.1715361,0.0005459236,0.8133913,0.0006412807,0.00006964632,0.000482036,0.001744051,0.006928303,0.004661299],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003400552,"threshold_uncertainty_score":0.01454055,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0152732045125371,"score_gpt":0.2433260216239407,"score_spread":0.2280528171114036,"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."}}