{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001532705,0.0008794507,0.0005030253,0.000788569,0.0004120036,0.001116382,0.0008998926,0.0006587788,0.004608433],"category_scores_gemma":[0.007688743,0.000331778,0.0009657669,0.0005185155,0.00131035,0.001122709,0.001112547,0.0009530331,0.001000516],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008369456,"about_ca_system_score_gemma":0.001164439,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002011296,"about_ca_topic_score_gemma":0.00174091,"domain_scores_codex":[0.9971505,0.001142919,0.000195433,0.0003481634,0.0009728468,0.0001901671],"domain_scores_gemma":[0.9955959,0.002926542,0.0003811867,0.0005602553,0.0004747566,0.00006138275],"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.0005468084,0.0001763528,0.002456653,0.0007486512,0.0001020353,0.001258513,0.001526374,0.371627,0.07556625,0.3430966,0.003687916,0.1992069],"study_design_scores_gemma":[0.00008694104,0.0001383821,0.0004296584,0.0001332248,0.00006281496,0.000268541,0.0000725164,0.837761,0.07389831,0.06565655,0.02144516,0.0000469844],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.012407,0.00007296157,0.9796402,0.00006510716,0.00002808906,0.00007882054,0.0001467457,0.004158228,0.003402743],"genre_scores_gemma":[0.3819165,0.0002473355,0.6111962,0.00007611175,0.00002707804,0.0003391982,0.0007508193,0.0008084047,0.004638331],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004608433,"threshold_uncertainty_score":0.01541668,"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."}}