{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001378286,0.001033039,0.0006952294,0.001436485,0.0003824787,0.0006010589,0.001445447,0.0007623258,0.007066689],"category_scores_gemma":[0.009956163,0.000534367,0.0006932869,0.000939459,0.0007294877,0.002049838,0.001486569,0.001503232,0.001345797],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005489544,"about_ca_system_score_gemma":0.001230361,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007606561,"about_ca_topic_score_gemma":0.001459371,"domain_scores_codex":[0.997673,0.0005739658,0.0002130139,0.0003553489,0.0009924446,0.0001921887],"domain_scores_gemma":[0.9866809,0.007788742,0.001048409,0.002467487,0.001706245,0.0003083087],"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.0007398464,0.0003931592,0.001584007,0.0004306531,0.00005332032,0.0003434357,0.0002252386,0.04245511,0.098858,0.03973565,0.003367015,0.8118146],"study_design_scores_gemma":[0.0002636656,0.001525232,0.001565367,0.0002388589,0.0002064215,0.001474722,0.0001562939,0.5707065,0.262832,0.1405653,0.02037166,0.00009397951],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05166756,0.0002816142,0.937378,0.0002156293,0.000113092,0.0001396748,0.00008669725,0.004720882,0.005396874],"genre_scores_gemma":[0.3451596,0.0002753502,0.6467239,0.0002102078,0.0001034944,0.0001634278,0.000342423,0.0007167928,0.00630481],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007066689,"threshold_uncertainty_score":0.02364045,"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."}}