{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002092582,0.001256431,0.0007481859,0.001603778,0.0003116615,0.0008592465,0.001468563,0.0008001999,0.002084899],"category_scores_gemma":[0.01124888,0.0004106447,0.001432898,0.0007771701,0.002418188,0.002066363,0.001946286,0.001858109,0.0006062606],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009510213,"about_ca_system_score_gemma":0.001432746,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001557794,"about_ca_topic_score_gemma":0.001239501,"domain_scores_codex":[0.9967001,0.0009692345,0.0003143188,0.0007890841,0.001068443,0.0001589056],"domain_scores_gemma":[0.9884899,0.007059504,0.0007223009,0.002235816,0.001284866,0.0002075486],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004563265,0.0001395457,0.005204333,0.001126171,0.0001934698,0.0003013918,0.0008018307,0.1531145,0.04985647,0.3557271,0.00144038,0.4316384],"study_design_scores_gemma":[0.0001043889,0.0004730972,0.001169139,0.0001803955,0.0001096614,0.0005825722,0.0001158565,0.6051335,0.06479246,0.2983648,0.02889226,0.00008179892],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004336767,0.0001230203,0.994166,0.00004698401,0.0000232959,0.00006065072,0.00003345917,0.0004625781,0.0007472574],"genre_scores_gemma":[0.28045,0.0004724045,0.7135263,0.0002849072,0.0001153686,0.0005430997,0.0004209558,0.0003934329,0.003793537],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002092582,"threshold_uncertainty_score":0.01106679,"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."}}