{"id":"W7071777083","doi":"","title":"A Symbolic Execution-Based Approach to Model Transformation Verification Using Structural Contracts","year":2018,"lang":"en","type":"dissertation","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Transformation (genetics); Context (archaeology); Representation (politics); Key (lock); Set (abstract data type)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001224727,0.0007306387,0.0006484064,0.001239246,0.0005863551,0.0006391929,0.001937551,0.0009414763,0.000005445178],"category_scores_gemma":[0.0002829942,0.0008013287,0.0002745756,0.001383382,0.00006598637,0.001558404,0.00006677498,0.0006900855,0.00002313804],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001313569,"about_ca_system_score_gemma":0.001087283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001545021,"about_ca_topic_score_gemma":0.0003063508,"domain_scores_codex":[0.9956779,0.0002752763,0.001101649,0.001088447,0.0009403882,0.0009163609],"domain_scores_gemma":[0.9961557,0.0000556799,0.0007964332,0.001890253,0.0006690702,0.0004328995],"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.0005989764,0.0004410983,0.0001052016,0.0006260148,0.0001241639,0.000004930707,0.01105058,0.3904777,0.0689366,0.4637468,0.00060546,0.06328255],"study_design_scores_gemma":[0.0003636239,0.00009664275,0.00235823,0.0001359619,0.00006397197,0.00002447812,0.0001326544,0.9484903,0.04443197,0.00289558,0.0002281392,0.0007784846],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07838774,0.0001829922,0.9153897,0.0001913304,0.0005360036,0.002216148,0.00006040188,0.0009700044,0.002065658],"genre_scores_gemma":[0.3481832,0.00001370175,0.6495034,0.0005691793,0.0001221095,0.0007215173,0.0006114922,0.00007718698,0.000198154],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5580126,"threshold_uncertainty_score":0.9994438,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02605982060889431,"score_gpt":0.2878755984725986,"score_spread":0.2618157778637042,"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."}}