{"id":"W1601919490","doi":"10.1007/978-3-540-76650-6_11","title":"Reducing Test Sequence Length Using Invertible Sequences","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor","funders":"","keywords":"Invertible matrix; Sequence (biology); Computer science; Finite-state machine; Conformance testing; Context (archaeology); Test (biology); Algorithm; Fault coverage; State (computer science); Mathematics; Engineering","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002235226,0.0007318518,0.0006492202,0.001519684,0.0005227473,0.000810998,0.004484215,0.0004726844,0.0000103076],"category_scores_gemma":[0.0009890854,0.000697189,0.0001462488,0.001400494,0.001230603,0.001025276,0.00161762,0.0009694718,0.00002737946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007990492,"about_ca_system_score_gemma":0.0013389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003473607,"about_ca_topic_score_gemma":0.00004316669,"domain_scores_codex":[0.9945897,0.00003853895,0.0007752531,0.002126485,0.001355432,0.001114549],"domain_scores_gemma":[0.995018,0.001862073,0.0004833553,0.001954842,0.0004102085,0.0002714903],"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.000003384575,0.00004522021,0.001124985,0.00009009122,0.00001175897,0.0004757431,0.0009337344,0.02162511,0.001752528,0.004715927,0.00009670363,0.9691248],"study_design_scores_gemma":[0.0001029724,0.0001923527,0.00004097819,0.00147113,0.000009470936,0.0004904428,6.957388e-8,0.6223779,0.006589961,0.3675194,0.0002526644,0.0009525994],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002637127,0.0005015248,0.9910212,0.0002439192,0.001293128,0.0003284523,0.000004548197,0.004015001,0.002328544],"genre_scores_gemma":[0.1543182,0.00003509259,0.8437412,0.001285066,0.0004374019,0.00000452681,0.000002531808,0.0000495295,0.0001264354],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9681722,"threshold_uncertainty_score":0.9995479,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08039159151183822,"score_gpt":0.312587205035642,"score_spread":0.2321956135238038,"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."}}