{"id":"W2308674594","doi":"10.1007/s11219-015-9304-4","title":"Efficient and scalable omniscient debugging for model transformations","year":2016,"lang":"en","type":"article","venue":"Software Quality Journal","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"U.S. Department of Education","keywords":"Debugging; Computer science; Scalability; Algorithmic program debugging; Session (web analytics); Programming language; Software; Software engineering; Operating system","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.002840861,0.001574902,0.001371545,0.001288643,0.0009232145,0.00199099,0.003241466,0.001170133,0.004145161],"category_scores_gemma":[0.017187,0.001055286,0.001129366,0.001228041,0.001159287,0.003930136,0.004015452,0.002008172,0.0009676223],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009795774,"about_ca_system_score_gemma":0.002496164,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002960929,"about_ca_topic_score_gemma":0.008622861,"domain_scores_codex":[0.9960316,0.001379004,0.0002444616,0.0005731653,0.001434114,0.0003376015],"domain_scores_gemma":[0.9891588,0.004944366,0.0006078558,0.004030882,0.001032453,0.000225601],"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.00129628,0.0006514246,0.00589053,0.0006891539,0.0002207955,0.0008153352,0.0006209384,0.2048193,0.04013593,0.0543055,0.01756561,0.6729892],"study_design_scores_gemma":[0.0001408755,0.00006185158,0.0003392222,0.000033669,0.00004500103,0.0001607958,0.00007674097,0.9442671,0.0137222,0.03859047,0.002538293,0.00002384491],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02196807,0.0001921658,0.9605309,0.000274399,0.00005274051,0.0001153378,0.0001690782,0.01452708,0.002170229],"genre_scores_gemma":[0.408816,0.0001630764,0.5862935,0.0001297284,0.00002527399,0.0001079601,0.0005883914,0.001961248,0.001914739],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004145161,"threshold_uncertainty_score":0.01502407,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03048809234644917,"score_gpt":0.2932194760941157,"score_spread":0.2627313837476665,"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."}}