{"id":"W2519113869","doi":"10.1109/ivsw.2016.7566604","title":"Revision debug with non-linear version history in regression verification","year":2016,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Computer science; Bottleneck; Preprocessor; Ranking (information retrieval); Regression testing; Software bug; Correctness; Graph; Software engineering; Programming language; Theoretical computer science; Embedded system; Information retrieval; Software system","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.005378988,0.0008967713,0.0009623211,0.003927768,0.0007984297,0.00170635,0.00140243,0.0007813557,0.002448521],"category_scores_gemma":[0.02514751,0.0007705718,0.0007080204,0.002206044,0.001446064,0.003922443,0.001960417,0.00169317,0.0005704619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009209167,"about_ca_system_score_gemma":0.001726338,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002462406,"about_ca_topic_score_gemma":0.003674364,"domain_scores_codex":[0.9949945,0.001805487,0.0003067983,0.0007128401,0.001763797,0.0004164579],"domain_scores_gemma":[0.9827611,0.009806947,0.0018445,0.003559226,0.001587751,0.000440442],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001221934,0.0002986751,0.01845285,0.0002049752,0.00008162951,0.0003470019,0.0006430696,0.1797063,0.01554697,0.05278635,0.003078209,0.727632],"study_design_scores_gemma":[0.00008240986,0.0005266285,0.002118825,0.00005781637,0.00006278058,0.0002656552,0.00006331896,0.9214122,0.02005421,0.05206124,0.003207524,0.0000873171],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1136546,0.0008455589,0.8738521,0.0002797214,0.00007106466,0.0001589459,0.0001382053,0.008185014,0.002814664],"genre_scores_gemma":[0.7151077,0.0002147205,0.2812033,0.00009982935,0.00006567292,0.00008547346,0.0001995393,0.0003962596,0.002627424],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005378988,"threshold_uncertainty_score":0.02844715,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02317134808403726,"score_gpt":0.2530379753674551,"score_spread":0.2298666272834179,"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."}}