{"id":"W3142089163","doi":"10.1109/ase.2004.1342761","title":"Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically","year":2004,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Pointer (user interface); Algorithm; Pairwise comparison; Test suite; Theoretical computer science; Programming language; Artificial intelligence; Test case; Machine learning","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.0002662651,0.0001494319,0.0002239233,0.0001869021,0.000160263,0.0003633615,0.0008977594,0.00004793483,0.000007254646],"category_scores_gemma":[0.0002679329,0.0001317997,0.00003382943,0.0009867827,0.00004128936,0.000508077,0.0009998963,0.00007065058,0.000007167113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003693758,"about_ca_system_score_gemma":0.00009692791,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005060373,"about_ca_topic_score_gemma":0.00001127634,"domain_scores_codex":[0.9986454,0.00002478762,0.0002505735,0.0005216172,0.0002335829,0.0003240449],"domain_scores_gemma":[0.9984078,0.0002041204,0.00005306834,0.001092978,0.00007331575,0.000168712],"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.000002252886,0.0001990756,0.007465519,0.00002058416,0.0002751929,0.000122318,0.001062769,0.03511176,0.000428737,0.001832707,0.002347585,0.9511315],"study_design_scores_gemma":[0.0002063201,0.00009070685,0.009379288,0.00001792947,0.00007291805,0.00007267626,8.021256e-7,0.9784165,0.0005109128,0.01096253,0.00004073554,0.000228698],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01706717,0.00006610654,0.9790007,0.0002171119,0.00004257885,0.0001290502,0.00002072951,0.003377709,0.00007880385],"genre_scores_gemma":[0.2853669,0.000002692605,0.7138003,0.000767863,0.00003018972,0.000003293721,0.000006914022,0.000006383865,0.00001549005],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9509028,"threshold_uncertainty_score":0.5374635,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04303292143597743,"score_gpt":0.3050420355922571,"score_spread":0.2620091141562796,"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."}}