{"id":"W3042598532","doi":"10.1109/tse.2020.3008850","title":"Execution of Partial State Machine Models","year":2020,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University; University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Partial evaluation; Static analysis; Execution model; Unified Modeling Language; Programming language; Program transformation; Model transformation; Semantics (computer science); Software; Overhead (engineering); Source code; Software development; Transformation (genetics); Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001066607,0.0002544716,0.0002781475,0.0001766682,0.00005146241,0.00003587255,0.0005383111,0.00008607043,0.00001062247],"category_scores_gemma":[0.00000595149,0.0002832831,0.0001448907,0.0005082486,0.00001875348,0.0005677759,0.000008038039,0.0003391222,0.00001101762],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006148515,"about_ca_system_score_gemma":0.0000353629,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001822146,"about_ca_topic_score_gemma":5.535987e-7,"domain_scores_codex":[0.9985926,0.00002056486,0.0003618921,0.0003937134,0.0003342258,0.0002970132],"domain_scores_gemma":[0.9991527,0.00006554079,0.00006481621,0.0004566801,0.00007300984,0.0001872968],"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.00001071546,0.00003819932,0.000004577047,0.00006162098,0.00003041605,0.000007563926,0.0004816154,0.9698074,0.001541887,0.002496567,0.00003225591,0.02548717],"study_design_scores_gemma":[0.0002009715,0.0001297916,0.00001362426,0.00004967107,0.00001032527,0.000006266195,6.281904e-7,0.8980612,0.1000926,0.00007623832,0.001112799,0.0002458305],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002373536,0.0000575583,0.9942137,0.00009158459,0.0003350127,0.0002013426,0.00004181852,0.002680533,0.000004886117],"genre_scores_gemma":[0.5579688,0.00002214519,0.4418683,0.00004973553,0.00001788802,0.00003422445,0.000001343977,0.00002860858,0.000008915643],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5555953,"threshold_uncertainty_score":0.9999619,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01957497964205957,"score_gpt":0.2092085166259361,"score_spread":0.1896335369838766,"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."}}