{"id":"W1987534773","doi":"10.1007/s10515-010-0079-3","title":"Example-based model-transformation testing","year":2011,"lang":"en","type":"article","venue":"Automated Software Engineering","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal; Université de Montréal","funders":"","keywords":"Transformation (genetics); Oracle; Computer science; Model transformation; Function (biology); Premise; Quality (philosophy); Data mining; Reliability engineering; Artificial intelligence; Theoretical computer science; Industrial engineering; Machine learning; Software engineering; Engineering","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.0003894973,0.0002213166,0.0001667927,0.0002445975,0.0001088088,0.00008591049,0.0006110183,0.0001031959,0.0000031101],"category_scores_gemma":[0.0009206948,0.0002327673,0.00005255716,0.0006532116,0.00001458415,0.0005632502,0.00007330612,0.0001701425,0.00002133326],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005894604,"about_ca_system_score_gemma":0.00007671415,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001321606,"about_ca_topic_score_gemma":0.00000102045,"domain_scores_codex":[0.9987591,0.00002268092,0.0002899104,0.0003122869,0.0002214977,0.0003945506],"domain_scores_gemma":[0.9987246,0.0004399875,0.00006819108,0.000536527,0.0001242705,0.0001063568],"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.00001576582,0.0002316782,0.01391365,0.0004838893,0.00006968146,0.0001223717,0.005612638,0.9068093,0.001782082,0.01903928,0.003439083,0.04848052],"study_design_scores_gemma":[0.0001396663,0.00004413666,0.002748862,0.0001207118,0.000005710026,0.00002164663,7.150706e-7,0.9916118,0.003022907,0.0019665,0.00002926073,0.0002881031],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007008173,0.00002297579,0.8544595,0.000008250304,0.0001236109,0.0001204251,0.000001478544,0.1379877,0.0002678949],"genre_scores_gemma":[0.4745265,2.719275e-7,0.5253555,0.00005729392,0.000008637307,0.00002686308,0.000003170732,0.00001959909,0.000002271537],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4675183,"threshold_uncertainty_score":0.9491974,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06099352935504673,"score_gpt":0.2320495740092268,"score_spread":0.1710560446541801,"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."}}