{"id":"W1570631586","doi":"10.1002/sec.1290","title":"An empirical investigation into path divergences for concolic execution using CREST","year":2015,"lang":"en","type":"article","venue":"Security and Communication Networks","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Ontario Tech University","funders":"Core Research for Evolutional Science and Technology; National Natural Science Foundation of China","keywords":"Concolic testing; Computer science; Soundness; Path (computing); Test suite; Empirical research; Divergence (linguistics); Test case; Symbolic execution; Test (biology); Theoretical computer science; Software; Programming language; Machine learning; Mathematics; Statistics","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.01193706,0.0005008989,0.0003972392,0.002686256,0.0006633198,0.001028156,0.001419954,0.0008984875,0.0007583061],"category_scores_gemma":[0.1389539,0.0003520442,0.0004357846,0.002342186,0.001631957,0.001987237,0.001295389,0.001909201,0.0001679327],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008805362,"about_ca_system_score_gemma":0.0008741865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00146713,"about_ca_topic_score_gemma":0.002435493,"domain_scores_codex":[0.9812262,0.00724995,0.001602656,0.002624046,0.006570518,0.000726612],"domain_scores_gemma":[0.6520777,0.2790455,0.02705961,0.02073263,0.01867301,0.002411594],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001217763,0.001238681,0.8316823,0.0005157348,0.0003063312,0.001214862,0.003647949,0.02397604,0.00956052,0.004740753,0.003229905,0.1186692],"study_design_scores_gemma":[0.0001672201,0.002856601,0.5392368,0.0002334686,0.0002780756,0.003982604,0.003831278,0.4107087,0.02308359,0.008544422,0.006905183,0.0001720549],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9916573,0.0001237719,0.007136633,0.00008606206,0.00000820984,0.00006094652,0.0002232586,0.000213429,0.0004904447],"genre_scores_gemma":[0.9940315,0.00002877871,0.005256009,0.00001924656,0.000004333464,0.00003588694,0.0004963017,0.00004302704,0.00008489906],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01193706,"threshold_uncertainty_score":0.06313002,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08112494552671053,"score_gpt":0.3545796941472357,"score_spread":0.2734547486205252,"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."}}