{"id":"W2067531935","doi":"10.1093/comjnl/bxu113","title":"Generalizing the DS-Methods for Testing Non-Deterministic FSMs","year":2014,"lang":"en","type":"article","venue":"The Computer Journal","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.004638011,0.0001801081,0.0001965416,0.0000716338,0.001191789,0.0008646408,0.00233775,0.00004426617,9.61778e-7],"category_scores_gemma":[0.0008496701,0.00009567254,0.0001277659,0.0002632076,0.00008419499,0.000163366,0.0004716044,0.0003931531,0.000006415404],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003067828,"about_ca_system_score_gemma":0.00006605202,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008082893,"about_ca_topic_score_gemma":2.281781e-7,"domain_scores_codex":[0.998337,0.0004673583,0.0003470237,0.0002498844,0.0001914873,0.0004072526],"domain_scores_gemma":[0.9934655,0.005198368,0.0002770156,0.0007531141,0.0002121356,0.00009386552],"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.000002152241,0.00001302441,0.0002264232,0.000007971212,0.00001460211,0.000003413731,0.0005431917,0.0006589123,0.0002054036,0.002476323,0.01729029,0.9785583],"study_design_scores_gemma":[0.0001554689,0.000185247,0.0008372962,0.00006598319,0.00001255403,0.001038226,0.000001291396,0.8244135,0.0001652648,0.1679507,0.005034358,0.0001400748],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001157537,0.00007553258,0.993701,0.002036701,0.001355346,0.0001607457,2.507408e-7,0.001299497,0.0002134197],"genre_scores_gemma":[0.06404012,0.000002249068,0.9315552,0.002589398,0.001740709,0.00001736501,2.184013e-7,0.00001866725,0.00003607463],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9784182,"threshold_uncertainty_score":0.91664,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05822499298085235,"score_gpt":0.3544657442308903,"score_spread":0.296240751250038,"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."}}