{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002208009,0.000206861,0.0001971149,0.0004083582,0.0001134874,0.00006795953,0.001356169,0.0002523637,0.000002588513],"category_scores_gemma":[0.00004773398,0.0002235274,0.00007990481,0.0006008784,0.00005740346,0.0002522342,0.001186355,0.00029311,0.00003762279],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002679429,"about_ca_system_score_gemma":0.0001871297,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004778645,"about_ca_topic_score_gemma":0.00002192472,"domain_scores_codex":[0.9985939,0.00006196347,0.0001783497,0.0008345163,0.00007526382,0.0002560043],"domain_scores_gemma":[0.9984512,0.0001369333,0.0001765264,0.001038252,0.0001148812,0.00008218126],"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.000005338891,0.00008587255,0.007020166,0.00006059407,0.00001472717,0.00004524233,0.0001624786,0.8688735,0.000040638,0.1159473,0.002043282,0.00570092],"study_design_scores_gemma":[0.00009326341,0.00000526152,0.00002920205,0.00009439824,0.000005693202,0.000001262568,8.024992e-7,0.6322478,0.00003569772,0.3671928,0.0001199515,0.0001738775],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002430193,0.0000188865,0.991216,0.00008987372,0.00007580326,0.0002919425,0.000007934001,0.004131985,0.001737366],"genre_scores_gemma":[0.9752185,0.00005982923,0.02421874,0.00009740748,0.00003047879,0.000008598443,0.000009676524,0.00001549221,0.0003412862],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9727883,"threshold_uncertainty_score":0.9115185,"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."}}