{"id":"W2072069604","doi":"10.1109/saner.2015.7081820","title":"JCHARMING: A bug reproduction approach using crash traces and directed model checking","year":2015,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Crash; Java; Computer science; Field (mathematics); Software; Code (set theory); Model checking; Source code; Software bug; Software engineering; Data science; Programming language; Set (abstract data type)","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.003445585,0.001582928,0.0009843741,0.003310342,0.0006821878,0.001528583,0.003594849,0.001346705,0.001810742],"category_scores_gemma":[0.01359953,0.001021796,0.002315901,0.001022754,0.001636452,0.002309737,0.002944571,0.001942262,0.0004191232],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001016912,"about_ca_system_score_gemma":0.003114937,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008204089,"about_ca_topic_score_gemma":0.008871829,"domain_scores_codex":[0.9968222,0.0008317754,0.0002216219,0.0005290034,0.001324644,0.0002707752],"domain_scores_gemma":[0.9863313,0.005912222,0.001076423,0.004586452,0.001807199,0.0002863092],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0005973398,0.000861964,0.03006648,0.001088412,0.0006221255,0.001547002,0.001464139,0.4766155,0.06399577,0.04419641,0.007026851,0.371918],"study_design_scores_gemma":[0.00006756888,0.000143204,0.0008252034,0.00004447867,0.000109839,0.0002739636,0.00006968131,0.9584454,0.02464869,0.01226374,0.003052409,0.00005578078],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02080501,0.0001005019,0.9584202,0.0001344066,0.00003396356,0.0001860218,0.0001921383,0.0192702,0.0008576139],"genre_scores_gemma":[0.3446695,0.0001961191,0.650012,0.0001743282,0.00002665172,0.0002619695,0.000998335,0.002386368,0.001274781],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008204089,"threshold_uncertainty_score":0.01822221,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1516387269612065,"score_gpt":0.3069914423862612,"score_spread":0.1553527154250547,"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."}}