{"id":"W4403427009","doi":"10.5753/sblp.2024.3471","title":"Semantic conflict detection via dynamic analysis","year":2024,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior","keywords":"Computer science; Artificial intelligence; Information retrieval; Natural language processing","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.0002116729,0.00007935716,0.0001003736,0.000382572,0.00005705829,0.0002506667,0.0002800774,0.00003804074,0.00001663976],"category_scores_gemma":[0.00003538662,0.00006558,0.0001018606,0.001577478,0.00001464836,0.0001750333,0.00007988064,0.00008224732,0.0000968501],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003472548,"about_ca_system_score_gemma":0.00001445702,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002424703,"about_ca_topic_score_gemma":0.0000543692,"domain_scores_codex":[0.999298,0.00002357531,0.0001145731,0.0002979376,0.0001315257,0.0001344382],"domain_scores_gemma":[0.9993794,0.0001616283,0.00001535425,0.0003760671,0.00003019932,0.00003734709],"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.000001713054,0.0000416035,0.002098456,0.00007379599,0.000560794,0.0001195684,0.0006106202,0.0001749393,0.005539672,0.005269853,0.003068622,0.9824404],"study_design_scores_gemma":[0.00001314665,0.00002740544,0.001868521,0.00001130481,0.00006154602,0.0000269576,5.226559e-7,0.9789511,0.002079512,0.01621723,0.0006443531,0.00009842136],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003288411,0.0001902938,0.9670339,0.0002834581,0.0002061402,0.00004154183,2.144202e-7,0.02818881,0.0007672787],"genre_scores_gemma":[0.9304995,0.000005222618,0.06875289,0.000142239,0.00001382934,0.000007772235,9.742676e-7,0.000005349451,0.0005722274],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9823419,"threshold_uncertainty_score":0.2674275,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01176184305032444,"score_gpt":0.274519036368925,"score_spread":0.2627571933186005,"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."}}