{"id":"W2294018077","doi":"10.1109/hase.2016.45","title":"An Extension of Category Partition Testing for Highly Constrained Systems","year":2016,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Extension (predicate logic); Partition (number theory); White-box testing; Set (abstract data type); Base (topology); Black-box testing; Mathematical optimization; Software; Theoretical computer science; Algorithm; Programming language; Mathematics; Software system; Software construction","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":[],"consensus_categories":[],"category_scores_codex":[0.0004449687,0.00007154457,0.0001154926,0.00006333031,0.00005561106,0.00003586949,0.0002531958,0.00004031823,9.804334e-7],"category_scores_gemma":[0.0006107307,0.00004511307,0.0000232928,0.0001209229,0.00004533526,0.0002618002,0.00003233975,0.00001735318,0.000002565211],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000014999,"about_ca_system_score_gemma":0.00004763199,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001158752,"about_ca_topic_score_gemma":0.000001003358,"domain_scores_codex":[0.9992783,0.00003548263,0.000202092,0.0002316938,0.0001049511,0.0001474873],"domain_scores_gemma":[0.9983722,0.0007921344,0.0001072079,0.0003991302,0.000278501,0.00005082627],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001786099,0.0001905654,0.01210697,0.0001542243,0.00001384657,0.000008401616,0.0001813423,0.00006518297,0.3904327,0.2712819,0.01575978,0.3097872],"study_design_scores_gemma":[0.001459416,0.003065256,0.00936016,0.001164143,0.00002425143,0.0001649682,0.00002707446,0.5232814,0.1436085,0.3166199,0.0004276309,0.0007973528],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01922383,0.0000184726,0.9742993,0.0001525233,0.0001420899,0.0001681442,0.000002726042,0.005648565,0.000344376],"genre_scores_gemma":[0.7155207,3.257755e-7,0.284357,0.00003329151,0.00002694266,0.00002301698,7.43419e-7,0.00000438739,0.00003355082],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6962969,"threshold_uncertainty_score":0.1839658,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0531951948667412,"score_gpt":0.284574951903722,"score_spread":0.2313797570369808,"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."}}