{"id":"W2123319826","doi":"10.1007/11569596_93","title":"Generalizing Redundancy Elimination in Checking Sequences","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Sequence (biology); Redundancy (engineering); Computer science; Prime (order theory); Set (abstract data type); Finite-state machine; Algorithm; Model checking; State (computer science); Discrete mathematics; Theoretical computer science; Combinatorics; Mathematics; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001441423,0.0004628759,0.0004482501,0.001395808,0.0002093001,0.0007708662,0.002782758,0.0003189348,0.000006082689],"category_scores_gemma":[0.0003105029,0.0004566474,0.00008978274,0.0008674359,0.0003919439,0.001159088,0.0008813953,0.0007933189,0.00001191216],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006007292,"about_ca_system_score_gemma":0.0004719545,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000113774,"about_ca_topic_score_gemma":0.0001177546,"domain_scores_codex":[0.996381,0.00004324078,0.0005980427,0.00144959,0.0008688099,0.0006592667],"domain_scores_gemma":[0.9978305,0.0004932886,0.0003188382,0.001069422,0.0001854718,0.0001025082],"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.000001286993,0.00001601175,0.0003593039,0.0000240158,0.000002287828,0.00007837194,0.0007946421,0.01362136,0.0001022356,0.01438182,0.00002954799,0.9705891],"study_design_scores_gemma":[0.0001517403,0.00009963126,0.0006528342,0.001356126,0.000003616561,0.0001147993,5.950296e-8,0.4607732,0.001835296,0.5336479,0.0006064525,0.0007583329],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002202502,0.0008222568,0.9925351,0.001049672,0.0008276392,0.0002509493,9.869789e-7,0.002100755,0.002192396],"genre_scores_gemma":[0.2746147,0.0000628557,0.7238193,0.0008630946,0.0004191349,0.00001197431,0.000002751315,0.00002690839,0.0001792984],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9698308,"threshold_uncertainty_score":0.9997885,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03110914949709723,"score_gpt":0.2783638857672384,"score_spread":0.2472547362701411,"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."}}