{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008474615,0.00009446745,0.0001113957,0.00004748521,0.0003702696,0.0001801021,0.000591459,0.0001083274,3.598305e-7],"category_scores_gemma":[0.0001670802,0.00009441032,0.00002216417,0.00023368,0.0001337858,0.0005671082,0.0002236784,0.0001395311,3.893101e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000473346,"about_ca_system_score_gemma":0.00008042856,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005056485,"about_ca_topic_score_gemma":0.00007527951,"domain_scores_codex":[0.9990663,0.0002767657,0.0001845269,0.0002146549,0.000121666,0.0001360957],"domain_scores_gemma":[0.9986419,0.0002479349,0.0001204763,0.0006252138,0.0002165325,0.0001479523],"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.0001918935,0.0008349524,0.3836869,0.0001655239,0.0000913167,0.000004988049,0.1559101,0.01808619,0.0002437614,0.1780614,0.0847594,0.1779635],"study_design_scores_gemma":[0.0001275269,0.0001001273,0.001089956,0.00003798286,0.000005533684,0.00000453546,0.00007178791,0.736252,0.00002264928,0.2616937,0.0004919951,0.0001022498],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2141053,0.001272734,0.7819917,0.0007067627,0.0001053952,0.0002245187,9.80965e-7,0.001542392,0.00005018905],"genre_scores_gemma":[0.8184407,0.00008676121,0.180978,0.0003758797,0.00005289686,0.00003236461,0.00002722149,0.000004654109,0.000001445248],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7181658,"threshold_uncertainty_score":0.3849941,"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."}}