{"id":"W2160197556","doi":"10.1109/tc.2006.80","title":"Optimizing the length of checking sequences","year":2006,"lang":"en","type":"article","venue":"IEEE Transactions on Computers","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":93,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada; Leverhulme Trust","keywords":"Sequence (biology); State (computer science); Set (abstract data type); Algorithm; Finite-state machine; Mathematics; Computer science; Combinatorics","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.0002332699,0.0001209377,0.0001278822,0.0001235352,0.0002223661,0.00008805269,0.0007217317,0.00004024867,0.000001945252],"category_scores_gemma":[0.00000342837,0.00009124092,0.00009819723,0.0003848692,0.00009115342,0.0001823127,0.000004340002,0.0001654071,0.000004210985],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003251772,"about_ca_system_score_gemma":0.00003605157,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003169932,"about_ca_topic_score_gemma":0.000008777031,"domain_scores_codex":[0.9990833,0.00005721845,0.0002159092,0.0002372578,0.0002218553,0.0001844964],"domain_scores_gemma":[0.9989073,0.0004717497,0.0000916722,0.0004495221,0.00005392726,0.00002581921],"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.00001072086,0.0002736437,0.0001267535,0.00003093435,0.00006268505,0.00001960825,0.001607505,0.6442675,0.001232777,0.004339761,0.005367792,0.3426603],"study_design_scores_gemma":[0.0003225889,0.00024368,0.0003081401,0.0002583339,0.00002374824,0.00007464711,0.00001722564,0.9018099,0.0851272,0.01099886,0.0004234641,0.0003922301],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00400988,0.00003941211,0.991817,0.0004519572,0.0005847838,0.00009260842,0.000001339382,0.00269092,0.000312097],"genre_scores_gemma":[0.7150267,0.000003952051,0.2847749,0.0001342676,0.00002735963,0.000008387994,1.636106e-7,0.000005925484,0.00001839591],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7110168,"threshold_uncertainty_score":0.3720697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02136507433847591,"score_gpt":0.2432458928702451,"score_spread":0.2218808185317692,"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."}}