{"id":"W1852182718","doi":"10.1007/978-0-387-35497-2_21","title":"Formulation of the Interaction Test Coverage Problem as an Integer Program","year":2002,"lang":"en","type":"book-chapter","venue":"IFIP advances in information and communication technology","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Integer programming; Completeness (order theory); Cover (algebra); Computer science; Set (abstract data type); Integer (computer science); Set cover problem; Mathematical optimization; Test (biology); Function (biology); Test case; Theoretical computer science; Mathematics; Algorithm; Engineering; Programming language; Machine learning","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.001971719,0.001390204,0.001142467,0.001183563,0.0003965689,0.002293519,0.001630541,0.001673963,0.01076663],"category_scores_gemma":[0.007126727,0.0007417465,0.001112956,0.001413717,0.001395554,0.002234688,0.001255879,0.002133074,0.0006841107],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001392794,"about_ca_system_score_gemma":0.001909222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005672589,"about_ca_topic_score_gemma":0.004899858,"domain_scores_codex":[0.9984362,0.000594606,0.00006666403,0.0002672333,0.0004170593,0.0002183421],"domain_scores_gemma":[0.9958691,0.003430197,0.0002176825,0.0001186154,0.0002827966,0.00008150128],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001025502,0.0001479299,0.0005976699,0.0003619952,0.00005149208,0.0002336165,0.0001361342,0.7687445,0.001292626,0.1663871,0.007886538,0.05405781],"study_design_scores_gemma":[0.00004838565,0.00005349509,0.0001875436,0.00005047377,0.00002876974,0.0000845733,0.00004458392,0.9159167,0.0005911617,0.07964471,0.003334985,0.00001458138],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01336635,0.0004009002,0.960831,0.001106291,0.0000901123,0.0001757768,0.0005779928,0.0003145474,0.02313707],"genre_scores_gemma":[0.3379785,0.001025522,0.6385446,0.0004635942,0.0003278475,0.001006739,0.001469652,0.0003542603,0.01882927],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01076663,"threshold_uncertainty_score":0.03601795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01311646594027308,"score_gpt":0.2831618641821669,"score_spread":0.2700453982418938,"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."}}