{"id":"W4242156770","doi":"10.1109/icse.2015.78","title":"DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing","year":2015,"lang":"en","type":"article","venue":"2015 IEEE/ACM 37th IEEE International Conference on Software Engineering","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Ontario Ministry of Research and Innovation; Natural Sciences and Engineering Research Council of Canada; University of Waterloo","keywords":"Computer science; Symbolic execution; Documentation; Heuristics; Software; Focus (optics); Programming language; Software bug; Data mining; Software engineering; Operating system","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.002908853,0.001933124,0.001021693,0.003192397,0.0004326653,0.001530168,0.002427994,0.0009013956,0.00382605],"category_scores_gemma":[0.0170148,0.0005899353,0.0009172435,0.001943362,0.001078095,0.002633059,0.001902979,0.001704077,0.001282657],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009078718,"about_ca_system_score_gemma":0.002772803,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005052219,"about_ca_topic_score_gemma":0.007961065,"domain_scores_codex":[0.9942558,0.001819738,0.0004965749,0.0006104935,0.002550522,0.0002667779],"domain_scores_gemma":[0.9831942,0.008926465,0.001531321,0.003043692,0.00301727,0.0002871113],"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.0004816783,0.0005704671,0.00681827,0.0008516419,0.0001530152,0.0003193725,0.000458513,0.07512581,0.05875858,0.01110831,0.01381029,0.8315441],"study_design_scores_gemma":[0.0003394277,0.0005210545,0.001762705,0.0001244042,0.0001015956,0.0004279671,0.0001380887,0.8721235,0.09501457,0.01115254,0.01818107,0.0001130453],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02563831,0.0004904164,0.9315816,0.0003254368,0.00006410712,0.0002309458,0.0006650249,0.039185,0.001819208],"genre_scores_gemma":[0.1315651,0.0002451346,0.8634835,0.0001610492,0.00003346976,0.0002225321,0.001819761,0.001349247,0.001120159],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005052219,"threshold_uncertainty_score":0.01538366,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1014607039198933,"score_gpt":0.3373117068853397,"score_spread":0.2358510029654464,"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."}}