{"id":"W2896097868","doi":"10.1109/modre.2018.00007","title":"Modelling and Testing Requirements via Executable Abstract State Machines","year":2018,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Eiffel; Computer science; Executable; Programming language; Formal specification; Notation; Software engineering; Object-oriented programming; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003543553,0.0001161503,0.0001006784,0.00007274479,0.0001992002,0.000196282,0.0003222582,0.00002635149,0.000006728097],"category_scores_gemma":[0.0001082344,0.00009852325,0.00001303611,0.0002175856,0.00005165868,0.0004444153,0.0002282279,0.00007016816,0.00002048348],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001381698,"about_ca_system_score_gemma":0.00002011323,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009707885,"about_ca_topic_score_gemma":0.000003740212,"domain_scores_codex":[0.9990766,0.000012273,0.0001763027,0.000321028,0.000158041,0.0002557756],"domain_scores_gemma":[0.9992188,0.000189337,0.00006656955,0.0003289822,0.0001236562,0.00007263452],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001288248,0.0001387902,0.04620884,0.00008411137,0.00003571558,0.00005166298,0.001468611,0.004406254,0.004055103,0.002145591,0.01045114,0.9309413],"study_design_scores_gemma":[0.00006016753,0.00007245534,0.0005185048,0.0000393248,0.000001546013,0.00002340166,4.782518e-7,0.8960156,0.001997264,0.1010449,0.00009629008,0.0001299973],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04527556,0.000038332,0.9412392,0.00006311102,0.0000897905,0.00006581055,3.914685e-7,0.00660525,0.006622556],"genre_scores_gemma":[0.5064039,0.000001532068,0.4932743,0.000118426,0.00003059767,0.000002634648,2.158935e-7,0.000005873134,0.0001624921],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9308113,"threshold_uncertainty_score":0.4017662,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07012389338083574,"score_gpt":0.2937177434275514,"score_spread":0.2235938500467156,"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."}}