{"id":"W3095737939","doi":"10.1109/modre51215.2020.00010","title":"Detecting Emergent Behavior in Scenario-Based Specifications using a Probabilistic Model","year":2020,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Probabilistic logic; Software engineering; Requirements elicitation; Software; Data mining; Artificial intelligence; Requirements analysis; 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.003686269,0.0009488473,0.0005647369,0.001700376,0.0005624284,0.001687343,0.001292333,0.001256267,0.001235791],"category_scores_gemma":[0.01593889,0.0007771353,0.001738017,0.0009077486,0.00149198,0.003343797,0.001262943,0.001244894,0.0003693679],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001025503,"about_ca_system_score_gemma":0.001434261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004592394,"about_ca_topic_score_gemma":0.005271736,"domain_scores_codex":[0.9951278,0.001873379,0.0004157769,0.0006067525,0.001718273,0.0002580293],"domain_scores_gemma":[0.9827498,0.01206541,0.00238939,0.001213079,0.001363724,0.000218563],"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.000173882,0.0001104363,0.009044926,0.0001955148,0.0001082883,0.001136788,0.000952756,0.8534475,0.01510602,0.09628844,0.0004610796,0.02297436],"study_design_scores_gemma":[0.00001071806,0.00005844504,0.0005693516,0.00001481068,0.00002902522,0.0001537601,0.0000560072,0.9713998,0.002630725,0.02419885,0.0008519913,0.00002642005],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04100083,0.00004279885,0.9569159,0.000135635,0.000007635598,0.0001168546,0.0001740812,0.0006572503,0.0009490105],"genre_scores_gemma":[0.601624,0.0001800344,0.3959773,0.00008352816,0.00002018117,0.0004553462,0.0006098353,0.000131319,0.0009184419],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004592394,"threshold_uncertainty_score":0.01949507,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.179139846955982,"score_gpt":0.3153768035008778,"score_spread":0.1362369565448957,"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."}}