{"id":"W1968023441","doi":"10.5555/2818754.2818831","title":"DASE: document-assisted symbolic execution for improving automated software testing","year":2015,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Symbolic execution; Computer science; Documentation; Heuristics; Software; Programming language; Focus (optics); Software bug; Static analysis; Software engineering; Data mining; Operating system","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002561145,0.001319404,0.0007615398,0.002510085,0.0003786408,0.001352623,0.001947184,0.0007793709,0.003871033],"category_scores_gemma":[0.01277122,0.0004809567,0.0007314776,0.001519012,0.0009541766,0.001908295,0.001657203,0.001302919,0.001180409],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007652747,"about_ca_system_score_gemma":0.002041001,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003623522,"about_ca_topic_score_gemma":0.00519935,"domain_scores_codex":[0.9954519,0.001660674,0.000392227,0.0005063004,0.001788615,0.0002003635],"domain_scores_gemma":[0.9859071,0.007397801,0.001387012,0.002693672,0.002391428,0.0002230112],"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.0005466166,0.0005286836,0.00874268,0.0006400116,0.0001484288,0.0003062763,0.0003227918,0.09126619,0.07781721,0.008993716,0.0130728,0.7976146],"study_design_scores_gemma":[0.0002026989,0.000276831,0.001526142,0.00007483983,0.00005627343,0.0002552303,0.0000747233,0.890065,0.09121714,0.005521331,0.0106634,0.00006650161],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04506927,0.0004530301,0.9112162,0.000353831,0.00006531274,0.0001846227,0.0006257195,0.03983953,0.002192555],"genre_scores_gemma":[0.1971722,0.0001795655,0.7986135,0.0001560308,0.00003098552,0.0001526941,0.001412854,0.001184277,0.001097891],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003871033,"threshold_uncertainty_score":0.01354486,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06403600449072984,"score_gpt":0.3077783341890041,"score_spread":0.2437423296982743,"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."}}