{"id":"W2393107047","doi":"","title":"Test Case Design Based on Formal Specification and Classification-tree Method","year":2007,"lang":"en","type":"article","venue":"Microcomputer applications","topic":"Educational Technology and Assessment","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Tree (set theory); Test (biology); Formal specification; Test case; Process (computing); Keyword-driven testing; Tree structure; Data mining; Artificial intelligence; Machine learning; Programming language; Data structure; Mathematics; Software","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006878925,0.0009226227,0.0008247934,0.00252454,0.000447537,0.001428692,0.001485146,0.0009118684,0.002286292],"category_scores_gemma":[0.01883513,0.0004545182,0.00104776,0.001415448,0.001379198,0.001440751,0.0007821289,0.001281611,0.0004253111],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001154446,"about_ca_system_score_gemma":0.002306434,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003245448,"about_ca_topic_score_gemma":0.002373884,"domain_scores_codex":[0.9875239,0.006028046,0.001317402,0.0008486484,0.003863066,0.0004188785],"domain_scores_gemma":[0.9827743,0.01218627,0.0008331112,0.001212218,0.002826095,0.0001680534],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004127177,0.0004501134,0.003552627,0.001132917,0.0001807215,0.001020326,0.001390008,0.1654349,0.0373147,0.2182201,0.005863437,0.5650274],"study_design_scores_gemma":[0.0002471292,0.0004281171,0.0009159519,0.000220421,0.0001370453,0.0008775139,0.0001582566,0.8943877,0.0268991,0.05905987,0.01658563,0.00008323834],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002521901,0.00002413367,0.9959249,0.00004192234,0.000007418719,0.0002616793,0.00004570451,0.000600775,0.0005715244],"genre_scores_gemma":[0.06613504,0.00006268475,0.9321475,0.00005097478,0.000008971433,0.0007157581,0.0003095847,0.0001180673,0.0004513943],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006878925,"threshold_uncertainty_score":0.03637969,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.036854655635959,"score_gpt":0.3270254492173206,"score_spread":0.2901707935813616,"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."}}