{"id":"W2148918812","doi":"10.1109/icws.2009.114","title":"Inferring Behavioural Models from Traces of Business Applications","year":2009,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Computer science; Reservation; Automaton; Control flow; Model checking; Inference; Observable; Data modeling; Cellular automaton; Data mining; Artificial intelligence; Theoretical computer science; Software engineering; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00008136161,0.0000610709,0.0001120467,0.00003707483,0.00004662046,0.00002898531,0.000413052,0.00003947081,0.000007031003],"category_scores_gemma":[0.000003476872,0.00004620791,0.00003164773,0.0002827342,0.00001788701,0.0005757042,0.00003968198,0.00003936616,0.000009615454],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001172618,"about_ca_system_score_gemma":0.00003132814,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003752494,"about_ca_topic_score_gemma":0.00001403981,"domain_scores_codex":[0.9993964,0.000009318516,0.0001955547,0.0001694316,0.0001323708,0.00009692029],"domain_scores_gemma":[0.9993556,0.00002663567,0.00005358633,0.0004184536,0.0001143306,0.00003143463],"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.0000118372,0.0008236746,0.1948228,0.00007574692,0.00002996474,0.000002554869,0.00348351,0.02458087,0.004066705,0.09319423,0.0003486125,0.6785595],"study_design_scores_gemma":[0.0003217617,0.00004442142,0.8108574,0.00003984275,0.0000104142,0.000003911996,0.00004401095,0.1408918,0.006141671,0.04118446,0.0002141977,0.0002461097],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3342407,0.00007364473,0.6643365,0.0001928797,0.00004513479,0.00009971941,0.000001419619,0.0001124973,0.0008975199],"genre_scores_gemma":[0.9748753,0.000007540426,0.02499729,0.00004561884,0.00002307648,0.00001298169,0.000002184159,0.000001494274,0.00003451076],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6783134,"threshold_uncertainty_score":0.1884304,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0279200517303313,"score_gpt":0.2429645449213424,"score_spread":0.2150444931910111,"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."}}