{"id":"W2807405309","doi":"10.1145/3196883","title":"Inferring Extended Probabilistic Finite-State Automaton Models from Software Executions","year":2018,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Software Engineering Research","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Probabilistic automaton; Probabilistic logic; Automaton; Finite-state machine; Reinforcement learning; Decidability; Theoretical computer science; Software; Inference; Deterministic automaton; Flexibility (engineering); Büchi automaton; Deterministic finite automaton; Artificial intelligence; Programming language; Machine learning; Mathematics","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.002069041,0.001019216,0.0006056571,0.001298492,0.0003887102,0.0009670246,0.002075543,0.001144826,0.001509941],"category_scores_gemma":[0.01817965,0.0007633712,0.001767405,0.0008255128,0.001029081,0.002391936,0.001376521,0.002146651,0.0004338384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000972234,"about_ca_system_score_gemma":0.002041923,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005044392,"about_ca_topic_score_gemma":0.01120637,"domain_scores_codex":[0.9976212,0.0008826413,0.0001709812,0.0005310198,0.0006661169,0.000127985],"domain_scores_gemma":[0.9843507,0.01231397,0.0008848849,0.001615309,0.0006916975,0.0001433892],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001672359,0.0001723699,0.008232334,0.0002793927,0.000132813,0.0004499173,0.0004095875,0.877772,0.006483487,0.02671108,0.0009765938,0.07821313],"study_design_scores_gemma":[0.000007146339,0.00001547117,0.0002444067,0.00001387499,0.00001424104,0.00002895513,0.00001717068,0.9771128,0.001938792,0.02022257,0.0003762233,0.000008353268],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03124025,0.00009004868,0.9652371,0.0001337439,0.00001836423,0.00009664472,0.0004263254,0.002219214,0.0005384465],"genre_scores_gemma":[0.5752295,0.0002798764,0.4205123,0.0001005134,0.00002898452,0.000353472,0.002151315,0.0003177169,0.00102628],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005044392,"threshold_uncertainty_score":0.01094228,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08968027278245541,"score_gpt":0.3190647979492854,"score_spread":0.22938452516683,"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."}}