{"id":"W2324430758","doi":"","title":"An approach for generating state machine designs from scenarios","year":2007,"lang":"en","type":"article","venue":"International Conference on Software Engineering","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Merge (version control); Dependability; Theoretical computer science; Domain (mathematical analysis); Causality (physics); State (computer science); Domain theory; Row and column spaces; Artificial intelligence; Algorithm; Row; Mathematics; Programming language; Discrete mathematics; Software engineering","routes":{"ca_aff":true,"ca_fund":false,"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.003884069,0.00141591,0.0005956562,0.001936783,0.0008364625,0.002119218,0.002042758,0.001721998,0.006628711],"category_scores_gemma":[0.01170761,0.001170376,0.002852037,0.0009775134,0.001785232,0.00273535,0.002468807,0.002265945,0.001670563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001139938,"about_ca_system_score_gemma":0.002170514,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001376588,"about_ca_topic_score_gemma":0.002153164,"domain_scores_codex":[0.9962515,0.001527657,0.0002748735,0.000501334,0.001273282,0.000171404],"domain_scores_gemma":[0.9944931,0.003130845,0.0003125584,0.001127145,0.0008257498,0.0001107402],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002478852,0.0002244636,0.001741377,0.0007472467,0.0001654323,0.0007200649,0.00135953,0.2315702,0.01452854,0.45528,0.006408935,0.2870065],"study_design_scores_gemma":[0.0001000163,0.0001738015,0.0002075669,0.0001712023,0.00007406371,0.0003433922,0.000175281,0.5832393,0.01748096,0.3573758,0.04058746,0.00007113846],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001206939,0.00002129921,0.9965909,0.00007002468,0.00001507859,0.000167809,0.00009561989,0.0009057907,0.000926523],"genre_scores_gemma":[0.02635799,0.00005786191,0.9714763,0.00005055423,0.00001091328,0.0005795273,0.0004267322,0.000167282,0.000872818],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006628711,"threshold_uncertainty_score":0.02217531,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03503041463935549,"score_gpt":0.2876042128724752,"score_spread":0.2525737982331198,"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."}}