{"id":"W1975581743","doi":"10.1109/icst.2012.107","title":"Generating String Test Data for Code Coverage","year":2012,"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":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada; University of Nebraska-Lincoln","keywords":"Computer science; Programming language; Grammar; Code coverage; String (physics); Heuristic; Code (set theory); Rule-based machine translation; Code generation; Java; Theoretical computer science; Natural language processing; Artificial intelligence; Mathematics; Set (abstract data type); Software; Linguistics","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.00537554,0.0009149431,0.001072482,0.005282251,0.0005164711,0.001575202,0.001605323,0.001588112,0.003422754],"category_scores_gemma":[0.06521987,0.0004237304,0.001096798,0.004044981,0.001401226,0.002764505,0.002138302,0.001256184,0.0007505496],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009214529,"about_ca_system_score_gemma":0.001386791,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001307085,"about_ca_topic_score_gemma":0.001080998,"domain_scores_codex":[0.9889798,0.004207734,0.0009305754,0.001199538,0.004252623,0.0004297765],"domain_scores_gemma":[0.9221742,0.05993959,0.00302534,0.008507451,0.005920048,0.0004334586],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001345139,0.0007592962,0.05510363,0.0008260934,0.0002517933,0.001447392,0.0009114041,0.2487087,0.05266532,0.05650613,0.01379794,0.5676773],"study_design_scores_gemma":[0.0001937987,0.0004611714,0.007628791,0.0001169198,0.00007444391,0.000688326,0.0002062697,0.8494146,0.07610527,0.05800788,0.007023312,0.00007922836],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.231018,0.0002053007,0.7461421,0.0005920196,0.00007099038,0.0004218781,0.003635881,0.01163833,0.006275456],"genre_scores_gemma":[0.6777866,0.0001131899,0.3123898,0.0002675961,0.00004565492,0.0007553867,0.006258657,0.001533646,0.0008494512],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00537554,"threshold_uncertainty_score":0.02842891,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1026772571035725,"score_gpt":0.3291761569067954,"score_spread":0.226498899803223,"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."}}