{"id":"W3202815218","doi":"10.1109/icsew.2007.36","title":"An Improved Approach to Passive Testing of FSM-based Systems","year":2007,"lang":"en","type":"article","venue":"International Conference on Software Engineering","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Finite-state machine; Fault detection and isolation; Fault coverage; Fault (geology); Conformance testing; State (computer science); Reliability engineering; Artificial intelligence; Algorithm; Engineering; Actuator","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.0007104933,0.0007985343,0.0007025485,0.0009186525,0.0003368767,0.0006941491,0.002081052,0.001090113,0.001614406],"category_scores_gemma":[0.00244913,0.0002976737,0.0006122388,0.0005703013,0.0008308989,0.001846586,0.0008013929,0.001635286,0.0004665496],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000548589,"about_ca_system_score_gemma":0.0004660631,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007982829,"about_ca_topic_score_gemma":0.000855575,"domain_scores_codex":[0.9984406,0.0003243423,0.000080637,0.0002357088,0.0008460963,0.00007265132],"domain_scores_gemma":[0.9984011,0.0006356216,0.00009134255,0.0004494062,0.0003895174,0.00003298838],"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.0003955358,0.0003456203,0.001229821,0.000519186,0.00009847445,0.0004761148,0.00035892,0.09423669,0.267469,0.09935807,0.002568039,0.5329446],"study_design_scores_gemma":[0.00004408759,0.0002994864,0.0005614128,0.00002679245,0.00005368159,0.0004107987,0.00001615005,0.8954954,0.06793837,0.02496578,0.01015547,0.00003264581],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005557066,0.00012942,0.9927084,0.00006715526,0.00003363107,0.00003873897,0.00002036861,0.0007834664,0.0006617701],"genre_scores_gemma":[0.2617448,0.0002549763,0.734177,0.0001909671,0.0001138956,0.0001342727,0.0001432556,0.0001161645,0.003124672],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002081052,"threshold_uncertainty_score":0.005400658,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04004646364181236,"score_gpt":0.2642430531300621,"score_spread":0.2241965894882498,"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."}}