{"id":"W1982395839","doi":"10.1002/1099-1689(200009)10:3<149::aid-stvr206>3.0.co;2-t","title":"State generation and automated class testing","year":2000,"lang":"en","type":"article","venue":"Software Testing Verification and Reliability","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Container (type theory); Computer science; White-box testing; Tree (set theory); Class (philosophy); Block (permutation group theory); Java; Reliability (semiconductor); Black box; Code coverage; Reliability engineering; Data mining; Programming language; Engineering; Artificial intelligence; Software; Software development","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.0008853673,0.0001928843,0.0001770204,0.00006933148,0.0004361436,0.0002682875,0.0002468695,0.00009280637,0.000005619912],"category_scores_gemma":[0.005012273,0.0001802226,0.00001965242,0.0005847188,0.0001560789,0.0003601401,0.00008716468,0.00017891,0.00001165498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000475142,"about_ca_system_score_gemma":0.00007980576,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002536048,"about_ca_topic_score_gemma":0.000002054479,"domain_scores_codex":[0.9983387,0.0001421461,0.00036544,0.0006952132,0.0001970731,0.0002614226],"domain_scores_gemma":[0.9978068,0.0009914916,0.0001302211,0.0006429853,0.0002921439,0.0001363296],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004662051,0.00007217468,0.1165146,0.0000742427,0.000004572283,0.000003922684,0.0004421703,0.0006366652,0.0008898388,0.000118505,0.002262131,0.8789765],"study_design_scores_gemma":[0.0001839499,0.0001131636,0.1968653,0.00006690897,0.000007610579,0.00006714497,0.000001795663,0.7877085,0.0002771073,0.0138714,0.0005394077,0.0002977861],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.7474529,0.0001805483,0.2058692,0.0004694187,0.0001222642,0.0003730819,0.000006595544,0.04511643,0.0004095673],"genre_scores_gemma":[0.4800227,0.00001275289,0.5196669,0.0001569893,0.00002946623,0.00002294961,0.000006254,0.00001093584,0.00007108366],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8786787,"threshold_uncertainty_score":0.7349266,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03457682983096203,"score_gpt":0.2649357170513301,"score_spread":0.2303588872203681,"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."}}