{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005047162,0.001125716,0.001012074,0.002064537,0.0006306301,0.002131146,0.002250998,0.00196516,0.006672132],"category_scores_gemma":[0.03218064,0.0008177403,0.001332238,0.001230776,0.003909164,0.006401807,0.00231179,0.002361567,0.0006355189],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001110676,"about_ca_system_score_gemma":0.0007017393,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006784493,"about_ca_topic_score_gemma":0.0009016795,"domain_scores_codex":[0.9914857,0.004415453,0.0004631575,0.0009809184,0.00220276,0.0004519477],"domain_scores_gemma":[0.9567448,0.03661703,0.001061825,0.003757179,0.001371568,0.0004475205],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001076825,0.0003086317,0.00319813,0.0004100707,0.000113498,0.0004526378,0.000798319,0.08002793,0.03619128,0.7704216,0.002274122,0.104727],"study_design_scores_gemma":[0.0001353415,0.0003229124,0.0006814576,0.00007693739,0.00007488442,0.0001863515,0.0001103927,0.4158618,0.04535146,0.5337926,0.003346666,0.00005924936],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1108967,0.0002622883,0.8756165,0.0002944094,0.0001452059,0.0002665826,0.0002839996,0.003888753,0.008345594],"genre_scores_gemma":[0.7420076,0.0001243594,0.2526386,0.0001930472,0.00006720185,0.0004019091,0.0003934759,0.0006404198,0.003533457],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006672132,"threshold_uncertainty_score":0.02669221,"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."}}