{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001545944,0.001288081,0.0005286983,0.0022111,0.000415986,0.001674969,0.00160919,0.001522995,0.001363573],"category_scores_gemma":[0.01908768,0.001104827,0.001625143,0.0008134507,0.0007252003,0.002036448,0.001039915,0.001332272,0.0007103311],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009516525,"about_ca_system_score_gemma":0.001622136,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01092705,"about_ca_topic_score_gemma":0.01026546,"domain_scores_codex":[0.9978997,0.0006922067,0.0001676352,0.0003153076,0.0007557339,0.0001694796],"domain_scores_gemma":[0.9891986,0.007158145,0.0006204635,0.001693908,0.001171079,0.0001577358],"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.0005624209,0.0006620346,0.0353153,0.0005230838,0.0002872362,0.001731538,0.001485072,0.7820399,0.04536255,0.03647081,0.001196005,0.09436395],"study_design_scores_gemma":[0.00001817165,0.00003829793,0.001095894,0.00003288391,0.00004426558,0.00007627029,0.00006805761,0.971884,0.01159463,0.01389938,0.001227341,0.00002092356],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1409014,0.0001029144,0.8508694,0.000145555,0.0000259396,0.0002475803,0.001268073,0.004958528,0.001480615],"genre_scores_gemma":[0.7708388,0.0002756602,0.2229581,0.00005890991,0.00002483512,0.0003621664,0.003668206,0.0005064995,0.001306823],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01092705,"threshold_uncertainty_score":0.02172691,"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."}}