{"id":"W2136264185","doi":"10.1109/itng.2008.218","title":"Boundary Value Analysis Using Divide-and-Rule Approach","year":2008,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Trent University","funders":"","keywords":"Computer science; Dependency (UML); Value (mathematics); Boundary (topology); Algorithm; Artificial intelligence; Mathematics; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004645507,0.00008137776,0.0001437816,0.0001855522,0.0002643872,0.0000906209,0.000395235,0.00004134511,0.000008462654],"category_scores_gemma":[0.00004199982,0.00007110207,0.00006720256,0.001046135,0.00009379431,0.0005898434,0.0001998502,0.00007210931,0.000008373199],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003203229,"about_ca_system_score_gemma":0.00004068666,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000852416,"about_ca_topic_score_gemma":6.869997e-7,"domain_scores_codex":[0.9990517,0.0001068952,0.0001646409,0.0002991574,0.0002163603,0.0001612811],"domain_scores_gemma":[0.999316,0.00003244918,0.00005587876,0.0004948034,0.00003817491,0.00006274424],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000973949,0.0002895577,0.04988638,0.00004803574,0.000642039,0.00001648328,0.005831914,0.01941184,0.004020203,0.8478536,0.0004626271,0.07152756],"study_design_scores_gemma":[0.00006046269,0.000009929019,0.03592965,9.537694e-7,0.0000405884,0.00004404505,0.00001253483,0.9600356,0.001146964,0.002232615,0.0003707336,0.0001158765],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1034756,0.00008524529,0.8871852,0.0000344849,0.00006898031,0.00005190228,3.387788e-7,0.0001079516,0.008990272],"genre_scores_gemma":[0.2833263,0.000009280949,0.7163212,0.0001050392,0.00001826336,0.00000265491,9.934956e-7,0.000002870509,0.0002134667],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9406238,"threshold_uncertainty_score":0.2899458,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0687283212160836,"score_gpt":0.3035367990060038,"score_spread":0.2348084777899202,"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."}}