{"id":"W1496915765","doi":"10.1007/11759744_9","title":"Conformance Tests as Checking Experiments for Partial Nondeterministic FSM","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":63,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Nondeterministic algorithm; Computer science; Conformance testing; Equivalence (formal languages); Sequence (biology); Automaton; Algorithm; Programming language; Finite-state machine; Model checking; Theoretical computer science; Discrete mathematics; Mathematics; Operating system","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006959859,0.0005841251,0.000544999,0.0005785887,0.0003669008,0.0006815096,0.00295381,0.0003207424,0.000005257337],"category_scores_gemma":[0.0003494764,0.0005632904,0.0001502247,0.0003443199,0.000539998,0.0004809066,0.0009486865,0.0004647232,0.00002864394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002544356,"about_ca_system_score_gemma":0.0005812712,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004731013,"about_ca_topic_score_gemma":0.000006537755,"domain_scores_codex":[0.9962853,0.00001597191,0.0006123931,0.001458359,0.0008027533,0.0008252882],"domain_scores_gemma":[0.9968824,0.0009360908,0.0003986817,0.001361078,0.0002688578,0.0001529004],"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.00001815967,0.00008363936,0.0003552818,0.0001375955,0.00001627353,0.0001635239,0.0008515357,0.005408372,0.0002923557,0.01326277,0.001278519,0.9781319],"study_design_scores_gemma":[0.0004384525,0.0005281597,0.0001246238,0.0009149047,0.00001157618,0.0001604689,3.296451e-8,0.5644479,0.00941971,0.4188872,0.003930136,0.001136835],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001079935,0.0002150135,0.9916809,0.0001406207,0.00151686,0.0006031488,0.000005965484,0.00258586,0.003143588],"genre_scores_gemma":[0.3310977,0.000005422217,0.6664483,0.001268395,0.000593494,0.00007441271,0.000009749469,0.00005067859,0.0004518438],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9769951,"threshold_uncertainty_score":0.9996818,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03289748358132959,"score_gpt":0.3061076422653402,"score_spread":0.2732101586840106,"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."}}