{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002678456,0.0009307603,0.000863025,0.001046119,0.000783749,0.002809345,0.001820765,0.001168763,0.00493109],"category_scores_gemma":[0.009594225,0.0009083123,0.002310196,0.0007746573,0.001682679,0.003520602,0.002491386,0.001440834,0.0008374534],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001316036,"about_ca_system_score_gemma":0.002894055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005827381,"about_ca_topic_score_gemma":0.006970341,"domain_scores_codex":[0.9965069,0.001137994,0.0002415269,0.0005064913,0.001238077,0.0003690862],"domain_scores_gemma":[0.9931667,0.00369555,0.0003825935,0.001795863,0.0008324307,0.0001267159],"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.0004012574,0.0001825856,0.005821611,0.0005523897,0.0001888686,0.001079451,0.001388253,0.6175328,0.01472776,0.2839275,0.002395315,0.07180209],"study_design_scores_gemma":[0.0000389452,0.0001462467,0.0004355707,0.00007692743,0.00008136764,0.0001302201,0.000106223,0.8877978,0.01540651,0.08520454,0.01053179,0.00004392034],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05102025,0.0002070066,0.9326855,0.0002800212,0.00005176088,0.000238135,0.0006108742,0.005106434,0.009799996],"genre_scores_gemma":[0.5956313,0.000480439,0.3915799,0.0001449508,0.00003479621,0.0006190697,0.002557297,0.0007202373,0.008231916],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005827381,"threshold_uncertainty_score":0.01649612,"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."}}