{"id":"W3157242654","doi":"10.22215/etd/2017-11952","title":"An Analysis and Extension of Category Partition Testing in the Presence of Constraints","year":2017,"lang":"en","type":"dissertation","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University; University of Ottawa","funders":"","keywords":"Computer science; Constraint (computer-aided design); Partition (number theory); Set (abstract data type); Domain (mathematical analysis); Extension (predicate logic); Base (topology); Test suite; White-box testing; Completeness (order theory); Test case; Programming language; Mathematics; Software; Machine learning; Software development","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.007266925,0.001565541,0.001831113,0.003971453,0.001231991,0.002593121,0.004633838,0.002556107,0.005490483],"category_scores_gemma":[0.05094079,0.0009374106,0.003135067,0.003433055,0.006531306,0.007927255,0.005036412,0.004505338,0.0006362094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002444023,"about_ca_system_score_gemma":0.002891619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004874171,"about_ca_topic_score_gemma":0.002374912,"domain_scores_codex":[0.9878049,0.003768404,0.0003593093,0.001834947,0.005086704,0.001145766],"domain_scores_gemma":[0.933865,0.05134092,0.00269574,0.005323265,0.005752545,0.0010226],"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.0001226615,0.00009934339,0.002207655,0.0002471071,0.00008468256,0.0008331615,0.0007367997,0.1208329,0.003164519,0.8236533,0.002268482,0.04574931],"study_design_scores_gemma":[0.00001679836,0.00008616714,0.0007757755,0.0001328285,0.00006191843,0.000463693,0.00008019996,0.4343874,0.001533175,0.5584878,0.003923349,0.00005096974],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01388364,0.00026514,0.9751976,0.0004820263,0.00006025081,0.0001016332,0.00009715019,0.0002378058,0.009674733],"genre_scores_gemma":[0.6158879,0.0007113632,0.3729854,0.0009102962,0.000531987,0.000387818,0.000475279,0.0005332126,0.007576674],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007266925,"threshold_uncertainty_score":0.03843164,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04201306549143245,"score_gpt":0.3265260541144748,"score_spread":0.2845129886230423,"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."}}