{"id":"W1609394770","doi":"10.1109/qrs.2015.30","title":"How Effective Are Code Coverage Criteria?","year":2015,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":77,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"","keywords":"Code coverage; Computer science; Test suite; Control flow; Set (abstract data type); Code (set theory); Fault coverage; Metric (unit); Cover (algebra); Data mining; Test case; Reliability engineering; Programming language; Software; Engineering","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.0002874659,0.00008507102,0.000100497,0.00007312344,0.0000258999,0.0003770427,0.0005863614,0.00003688903,0.000007404403],"category_scores_gemma":[0.001150668,0.00007238134,0.00002567625,0.0002616168,0.0000175268,0.0004542978,0.0002794054,0.0001068477,0.000118861],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008355752,"about_ca_system_score_gemma":0.00004498893,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001439469,"about_ca_topic_score_gemma":0.00000392528,"domain_scores_codex":[0.9990894,0.00004953449,0.00004879054,0.0002465032,0.0003281183,0.0002376937],"domain_scores_gemma":[0.9988272,0.0003937,0.00001527993,0.0004478267,0.0001378911,0.0001780603],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"observational","study_design_scores_codex":[0.00007746027,0.00048441,0.1256615,0.00026335,0.0002079879,0.001397752,0.00543316,0.002318776,0.006000694,0.0722832,0.583999,0.2018726],"study_design_scores_gemma":[0.005364192,0.001428875,0.3891276,0.0001657438,0.00001234821,0.0002540989,0.0002845633,0.2401294,0.07726072,0.01725056,0.2666198,0.002102152],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03751894,0.00007117586,0.9584228,0.001578242,0.0004686636,0.0001680841,0.000002251365,0.000559199,0.00121059],"genre_scores_gemma":[0.9819286,0.000001285012,0.01560053,0.0001343051,0.0000766299,0.00003044217,6.414612e-7,0.000008809979,0.002218714],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9444097,"threshold_uncertainty_score":0.3635832,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02910107857620252,"score_gpt":0.288739980918633,"score_spread":0.2596389023424305,"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."}}