{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001970335,0.000828003,0.0007520936,0.001829331,0.0006646886,0.001419426,0.002060984,0.001304455,0.003019865],"category_scores_gemma":[0.01087486,0.0003974506,0.001070427,0.001837347,0.00277929,0.002351494,0.002537388,0.001425948,0.0004222665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009059613,"about_ca_system_score_gemma":0.001526683,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002981815,"about_ca_topic_score_gemma":0.002849037,"domain_scores_codex":[0.9948007,0.001434144,0.0001721714,0.0005874512,0.002606442,0.0003990783],"domain_scores_gemma":[0.9914185,0.005003333,0.000592866,0.001426279,0.00131384,0.0002452029],"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.0004716744,0.0003553945,0.006289403,0.0005310297,0.0001132546,0.001656681,0.001263634,0.2305896,0.04080405,0.42721,0.004001602,0.2867137],"study_design_scores_gemma":[0.00007075848,0.000772276,0.003596776,0.0001480698,0.00005852462,0.00141546,0.0001660936,0.6486345,0.02178988,0.3000005,0.02320767,0.0001394694],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04001341,0.0002038679,0.948203,0.0002340307,0.00006561229,0.0002556929,0.0001047168,0.0005179202,0.0104018],"genre_scores_gemma":[0.5738285,0.0002081833,0.4215399,0.0002696923,0.00006884469,0.0003447692,0.0002562002,0.0001981276,0.003285868],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003019865,"threshold_uncertainty_score":0.01042026,"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."}}