{"id":"W1992815253","doi":"10.1007/s10515-009-0061-0","title":"Generating a checking sequence with a minimum number of reset transitions","year":2009,"lang":"en","type":"article","venue":"Automated Software Engineering","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada; Leverhulme Trust","keywords":"Reset (finance); Sequence (biology); Model checking; State (computer science); Computer science; Finite-state machine; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002217566,0.000203128,0.0002411039,0.0001466335,0.0001022705,0.00006398863,0.0004621289,0.00007948564,0.00000382809],"category_scores_gemma":[0.0004110882,0.0001859596,0.00004492421,0.0008007052,0.00003169145,0.0003495358,0.00003671811,0.000166024,0.000003535344],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004408484,"about_ca_system_score_gemma":0.00005569723,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003148429,"about_ca_topic_score_gemma":6.880215e-7,"domain_scores_codex":[0.9987764,0.00002484026,0.0002949763,0.0003202447,0.0002549778,0.0003285021],"domain_scores_gemma":[0.9989862,0.0002207486,0.0000966358,0.0004831218,0.0001347751,0.00007846706],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005564063,0.000644005,0.02260115,0.001034352,0.0004005662,0.00131541,0.02598993,0.6168274,0.1728696,0.03275355,0.01903694,0.1064715],"study_design_scores_gemma":[0.0002337092,0.0001513635,0.001761849,0.0007264933,0.00001225115,0.0003116763,0.000004898143,0.9916026,0.003723315,0.001072482,0.00004350963,0.0003558793],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09330336,0.00004787516,0.8702762,0.0001284696,0.00005390047,0.00009924185,0.000003657475,0.03604377,0.00004356017],"genre_scores_gemma":[0.5174589,0.000001175454,0.4824345,0.00005939876,0.00001799032,0.000009084178,0.000003753551,0.00001129579,0.000003877682],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4241556,"threshold_uncertainty_score":0.7583212,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01598254155514914,"score_gpt":0.2662486012595593,"score_spread":0.2502660597044102,"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."}}