{"id":"W4232175613","doi":"10.1007/978-3-642-35182-2_17","title":"Concurrent Test Generation Using Concolic Multi-trace Analysis","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Concolic testing; Computer science; Thread (computing); Concurrency; Code coverage; Programming language; Symbolic execution; TRACE (psycholinguistics); Test case; Parallel computing; Software; Machine learning","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.001850281,0.001353951,0.0007285605,0.002295684,0.0007097986,0.001101863,0.002627424,0.001160928,0.005568642],"category_scores_gemma":[0.008754922,0.0006796411,0.001104293,0.001172664,0.001094374,0.001709692,0.002018967,0.001276357,0.0009701337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000742315,"about_ca_system_score_gemma":0.001669706,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002236713,"about_ca_topic_score_gemma":0.002897408,"domain_scores_codex":[0.9969416,0.0006812559,0.0001686683,0.0005866719,0.001256498,0.0003652922],"domain_scores_gemma":[0.9895281,0.005257574,0.0005819218,0.002232368,0.002134396,0.0002656958],"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.00133669,0.0007621462,0.006470411,0.000515027,0.0001888442,0.001478138,0.0005678408,0.1220025,0.08079152,0.05586059,0.00672817,0.7232981],"study_design_scores_gemma":[0.0001839078,0.0003370175,0.0007598785,0.00005608432,0.0001188377,0.000600573,0.00004579311,0.8725218,0.08115163,0.03973804,0.004437274,0.00004932197],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0254778,0.00005429303,0.96384,0.00007429405,0.00004926644,0.0002009524,0.00007621838,0.007195163,0.003031998],"genre_scores_gemma":[0.5069339,0.00004452113,0.4870943,0.0001157546,0.00004373127,0.0002372182,0.0003463791,0.001556143,0.00362807],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005568642,"threshold_uncertainty_score":0.01862901,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07016234621544544,"score_gpt":0.3164600363995561,"score_spread":0.2462976901841107,"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."}}