{"id":"W2156213336","doi":"10.1145/2245276.2231981","title":"Symbolic execution of UML-RT State Machines","year":2012,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Programming language; Unified Modeling Language; Symbolic execution; Applications of UML; Modular design; UML tool; Reachability; Finite-state machine; Code generation; Theoretical computer science; Key (lock); Software; Operating system","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":[],"consensus_categories":[],"category_scores_codex":[0.0002734755,0.00006516662,0.00008748988,0.00007153144,0.00003156507,0.00001934805,0.0002916968,0.00002151332,0.000008613574],"category_scores_gemma":[0.00008329233,0.00005137737,0.00002813296,0.000186908,0.00002127221,0.0002765651,0.0001203823,0.00004221166,0.00002057918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009564858,"about_ca_system_score_gemma":0.00001250609,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002170229,"about_ca_topic_score_gemma":0.000001372375,"domain_scores_codex":[0.9994464,0.00002556099,0.0001251691,0.0001011427,0.0001252014,0.0001765291],"domain_scores_gemma":[0.9994506,0.00008135151,0.00005160397,0.0003192306,0.00004386856,0.00005335923],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00000562113,0.0002899199,0.3457352,0.00006083408,0.00002127135,0.000002564662,0.002227101,0.0000169633,0.00249757,0.12722,0.06081568,0.4611073],"study_design_scores_gemma":[0.0005608468,0.0003568417,0.4028625,0.0001794079,0.00002129747,0.0001626114,0.000008065583,0.124607,0.1098231,0.3540546,0.006336345,0.001027463],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06440698,0.0001236777,0.9227916,0.0001582909,0.0001854204,0.00005675963,6.921508e-7,0.00626349,0.006013081],"genre_scores_gemma":[0.7988259,0.000003431773,0.2007693,0.0001117018,0.00002868267,0.00000383333,5.218564e-7,0.000003472601,0.000253229],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7344189,"threshold_uncertainty_score":0.2095108,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01688462853798117,"score_gpt":0.2641848992946659,"score_spread":0.2473002707566848,"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."}}