{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00132479,0.001039842,0.0006653981,0.002618209,0.0005557267,0.0009818615,0.001247336,0.0008377883,0.003187925],"category_scores_gemma":[0.008160462,0.0004706566,0.001393959,0.001202179,0.001596374,0.001066903,0.0007771912,0.0008904685,0.000515788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001401488,"about_ca_system_score_gemma":0.00242119,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007374679,"about_ca_topic_score_gemma":0.005686805,"domain_scores_codex":[0.9986344,0.0003665152,0.00006783014,0.0002440943,0.0005730262,0.0001141189],"domain_scores_gemma":[0.9963987,0.002621478,0.0001808693,0.0002335708,0.0005207324,0.00004458971],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008910389,0.0001558403,0.002977699,0.0002544221,0.00006579206,0.0003712256,0.0003533875,0.6074093,0.01020912,0.06764172,0.003069148,0.3074032],"study_design_scores_gemma":[0.00004818267,0.00005597348,0.0003176062,0.00003701961,0.00002229044,0.0001001445,0.00004436028,0.9638342,0.00445565,0.02850442,0.002563583,0.00001649218],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01943211,0.00004180406,0.9757706,0.0001136333,0.00001963196,0.0001548867,0.00009350143,0.001870549,0.002503215],"genre_scores_gemma":[0.1349259,0.00007988956,0.8625544,0.0001009085,0.00001462311,0.0003740977,0.0003980632,0.0002714723,0.001280645],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007374679,"threshold_uncertainty_score":0.01466352,"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."}}