{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008671645,0.0001135256,0.0001280412,0.0001080555,0.0001056091,0.0001730278,0.000241776,0.00005155865,2.877943e-7],"category_scores_gemma":[0.0004789369,0.0001005491,0.00001959653,0.0003071427,0.00003507445,0.0004438126,0.000178082,0.00009406447,7.840291e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003740599,"about_ca_system_score_gemma":0.00006081831,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001285809,"about_ca_topic_score_gemma":6.620569e-7,"domain_scores_codex":[0.9989183,0.00004743304,0.0001487144,0.0005110594,0.0001936705,0.000180827],"domain_scores_gemma":[0.9992285,0.00004729543,0.00006784598,0.0004448211,0.0001175279,0.000094048],"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.00008459909,0.001578114,0.08084831,0.0004352545,0.0001757463,0.00007120564,0.04929454,0.08014014,0.03618851,0.02858312,0.07982877,0.6427717],"study_design_scores_gemma":[0.00008964096,0.00001747774,0.0001267745,0.00001714111,0.000004955878,0.0001019191,0.00001512532,0.9772209,0.002189054,0.02002571,0.00004783363,0.0001434732],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1037207,0.0001561386,0.8820102,0.0001344373,0.00007905313,0.00009127733,1.544567e-7,0.01235467,0.001453371],"genre_scores_gemma":[0.4516247,0.000002003902,0.5481675,0.00003719918,0.00003817605,0.000004827146,4.14481e-7,0.000006257814,0.0001189853],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8970808,"threshold_uncertainty_score":0.4100272,"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."}}