{"id":"W6910685597","doi":"10.48550/arxiv.1608.07883","title":"Fault Localization in Web Applications via Model Finding","year":2016,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Satisfiability; Set (abstract data type); Focus (optics); Object (grammar); Fault (geology); Boolean satisfiability problem; Web application; Fault model","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.002169607,0.0009906546,0.000908675,0.001543554,0.0007132354,0.002196498,0.002701487,0.00173618,0.001847188],"category_scores_gemma":[0.01206153,0.0007345123,0.001736062,0.001122331,0.002304124,0.003698932,0.003416235,0.002377576,0.0004797163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001319429,"about_ca_system_score_gemma":0.001649043,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002352711,"about_ca_topic_score_gemma":0.002657761,"domain_scores_codex":[0.9969042,0.001005998,0.0001906738,0.0005833669,0.001059456,0.0002563637],"domain_scores_gemma":[0.9931798,0.004379175,0.0005657955,0.001355955,0.000438267,0.00008100647],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002363563,0.0003296589,0.004505964,0.0007040681,0.0001853924,0.001326183,0.001210881,0.5081774,0.03820587,0.2134474,0.002982618,0.2286882],"study_design_scores_gemma":[0.00002767731,0.00005682406,0.0001672233,0.00003942008,0.00004941854,0.0002774148,0.00009512709,0.8484577,0.02616852,0.1217233,0.002914545,0.00002278537],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01030285,0.00009469971,0.9867651,0.0002303611,0.00001168424,0.00004134261,0.00002830944,0.001887661,0.0006379506],"genre_scores_gemma":[0.4452129,0.0003196572,0.5515748,0.0001756505,0.00002849862,0.000208413,0.0001929443,0.0004430402,0.001844229],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002701487,"threshold_uncertainty_score":0.01147413,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07762958019746287,"score_gpt":0.2147679170845426,"score_spread":0.1371383368870797,"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."}}