{"id":"W2516023085","doi":"10.4204/eptcs.224.6","title":"Fault Localization in Web Applications via Model Finding","year":2016,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Satisfiability; Programming language; Focus (optics); Set (abstract data type); Object (grammar); Fault (geology); Theoretical computer science; Specification language; Fault model; Algorithm; Artificial intelligence; Engineering","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.001875029,0.0008622044,0.0008277404,0.001340796,0.0006675734,0.002030691,0.002362154,0.001634498,0.001787208],"category_scores_gemma":[0.009442505,0.0006525957,0.001510015,0.0009503867,0.00204305,0.003359837,0.00294972,0.00198465,0.0004336474],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001127115,"about_ca_system_score_gemma":0.00148095,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002277299,"about_ca_topic_score_gemma":0.00258514,"domain_scores_codex":[0.9975712,0.00078936,0.0001492735,0.0004219818,0.0008538598,0.0002144345],"domain_scores_gemma":[0.9952604,0.002949539,0.000405279,0.0009865552,0.0003368235,0.00006139736],"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.0002177604,0.0003004423,0.003844859,0.000610587,0.0001502759,0.001300966,0.001096978,0.5265872,0.03913521,0.1999447,0.002433156,0.2243778],"study_design_scores_gemma":[0.00002595627,0.00005492343,0.0001482028,0.00003440785,0.00004387978,0.0002784256,0.00008816108,0.8784713,0.02726344,0.0908831,0.002687251,0.00002090605],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01000361,0.00007021081,0.9872941,0.0001683706,0.000009044444,0.00003938811,0.00002239158,0.001796533,0.0005963717],"genre_scores_gemma":[0.4349152,0.000263639,0.5621947,0.0001417492,0.00002048791,0.0002025912,0.0001556197,0.000374234,0.001731738],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002362154,"threshold_uncertainty_score":0.009916186,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007970434223973321,"score_gpt":0.2536372894738852,"score_spread":0.2456668552499119,"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."}}