{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001527622,0.001400175,0.001233728,0.00206321,0.0007005839,0.0008470123,0.001661846,0.001853766,0.006115948],"category_scores_gemma":[0.01630315,0.001054172,0.001235363,0.0009306525,0.0008335245,0.001576062,0.001265933,0.001506398,0.001387611],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004398999,"about_ca_system_score_gemma":0.003133554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009257324,"about_ca_topic_score_gemma":0.002079468,"domain_scores_codex":[0.9972868,0.0007553375,0.0002462825,0.0007374191,0.0006909432,0.0002831624],"domain_scores_gemma":[0.9755546,0.01604313,0.001426946,0.003927825,0.002499143,0.0005482321],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.004213443,0.001013874,0.01003082,0.00155705,0.0002519551,0.002250025,0.0006024173,0.1454552,0.256837,0.01499917,0.00673533,0.5560537],"study_design_scores_gemma":[0.0006147488,0.0009630749,0.003156653,0.0001420892,0.0002600474,0.00120203,0.0001303151,0.7392259,0.2238944,0.02638078,0.003929096,0.0001008606],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1512382,0.0001190738,0.8315465,0.0002594973,0.0001027929,0.0004578756,0.0004417398,0.01383086,0.002003513],"genre_scores_gemma":[0.5385303,0.00005051324,0.4575329,0.0001514689,0.00002813712,0.000252102,0.0008564487,0.001233433,0.001364679],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006115948,"threshold_uncertainty_score":0.02045989,"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."}}