{"id":"W2977837980","doi":"10.1109/qrs.2019.00049","title":"Fault Detection in Timed FSM with Timeouts by SAT-Solving","year":2019,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal; Computer Research Institute of Montréal","funders":"","keywords":"Computer science; Scalability; Implementation; Lift (data mining); Finite-state machine; Fault injection; Fault detection and isolation; Constraint (computer-aided design); Model checking; Fault coverage; Distributed computing; Embedded system; Real-time computing; Programming language; Software; Data mining; Artificial intelligence; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002026809,0.00009569811,0.0001039372,0.00009792885,0.00003243184,0.0000832428,0.0003207577,0.00005091262,0.00001863121],"category_scores_gemma":[0.00005387106,0.00007503905,0.00001586686,0.0003338176,0.00001217626,0.0002601175,0.00008811904,0.0001157342,0.0001736885],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004320689,"about_ca_system_score_gemma":0.0000226673,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003377238,"about_ca_topic_score_gemma":0.0000350454,"domain_scores_codex":[0.9992033,0.00002753884,0.0001132332,0.0002930042,0.0001650869,0.0001977934],"domain_scores_gemma":[0.9993672,0.000142115,0.00004131071,0.0003754348,0.00003529564,0.00003863434],"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.00005233017,0.000283079,0.2358535,0.00007215222,0.00003247187,0.00005358085,0.001609811,0.0002796027,0.03391349,0.00116671,0.05308717,0.6735961],"study_design_scores_gemma":[0.001596584,0.001136745,0.03306259,0.0003636326,0.000007813133,0.0001635516,0.00001588883,0.8157157,0.1307901,0.0123338,0.003590612,0.001222969],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2160142,0.00003767184,0.7672303,0.0001761412,0.000103487,0.0002022599,3.056491e-7,0.009639626,0.00659597],"genre_scores_gemma":[0.8786281,6.715064e-7,0.1198709,0.0002189016,0.000008218203,0.000009690057,8.812432e-7,0.000007799303,0.001254805],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8154361,"threshold_uncertainty_score":0.3060004,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005032593567096563,"score_gpt":0.2066749267187934,"score_spread":0.2016423331516968,"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."}}