{"id":"W2130262632","doi":"10.1016/j.tcs.2009.07.057","title":"Covering arrays avoiding forbidden edges","year":2009,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa; Carleton University; University of Toronto; Toronto Metropolitan University","funders":"","keywords":"Pairwise comparison; Clique; Generalization; Enhanced Data Rates for GSM Evolution; Binary number; Software; Mathematics; Computer science; Algorithm; Theoretical computer science; Combinatorics; Discrete mathematics; Artificial intelligence; Arithmetic; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.001811845,0.0001906083,0.0001956126,0.0002126602,0.0006705007,0.0007038898,0.002797274,0.00004996977,0.000007609155],"category_scores_gemma":[0.0004454291,0.0001628088,0.00006432024,0.001084354,0.0008807771,0.0007987612,0.0006488233,0.0002714918,0.00004675723],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006828618,"about_ca_system_score_gemma":0.00009222609,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002408091,"about_ca_topic_score_gemma":4.03597e-8,"domain_scores_codex":[0.9977327,0.00007498666,0.0002328936,0.0006988947,0.0006125107,0.0006480319],"domain_scores_gemma":[0.9981811,0.0004493407,0.00006313125,0.0009180208,0.0001421884,0.0002462235],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000001704801,0.00002605596,0.00007833748,0.000002716012,9.618645e-7,0.00001118268,0.0002836821,0.00005888757,0.0006227093,0.8574613,0.000438129,0.1410144],"study_design_scores_gemma":[0.00007796234,0.0002177217,0.0009509481,0.00005194999,0.000001811172,0.00006626808,8.368371e-7,0.2571071,0.01035262,0.7308683,0.00008283999,0.0002216159],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008749225,0.00002825821,0.9780349,0.001243964,0.0003987377,0.00009986385,2.727135e-7,0.006782939,0.004661815],"genre_scores_gemma":[0.6313791,0.000001767051,0.3676359,0.0008659441,0.0001067167,0.000001929514,1.385302e-7,0.000004004545,0.000004461647],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6226299,"threshold_uncertainty_score":0.6787626,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01674969832501048,"score_gpt":0.2629679965863643,"score_spread":0.2462182982613538,"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."}}