{"id":"W4285169595","doi":"10.1109/tse.2022.3175752","title":"Annotative Software Product Line Analysis Using Variability-Aware Datalog","year":2022,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"General Motors of Canada; Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","keywords":"Datalog; Computer science; Programming language; Software product line; Java; Software; Product (mathematics); Pointer (user interface); Inference; Software engineering; Theoretical computer science; Software development; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001114638,0.0005144215,0.0006407017,0.001085891,0.0006482409,0.0001035346,0.001329756,0.00008580781,0.00007790703],"category_scores_gemma":[0.0007010414,0.0005970065,0.0003599469,0.004354131,0.00005278731,0.0008577203,0.0000644564,0.001117607,0.000008371096],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006770881,"about_ca_system_score_gemma":0.0001468098,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002308431,"about_ca_topic_score_gemma":0.00000248034,"domain_scores_codex":[0.996543,0.0003082904,0.0005552647,0.001203776,0.000693352,0.0006963392],"domain_scores_gemma":[0.9957624,0.002099459,0.0001464457,0.001645487,0.0001647618,0.0001814605],"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.00001373088,0.0001172897,0.00007066069,0.00004911781,0.0003969613,0.00003690446,0.0005064485,0.9891047,0.0003611753,0.00007172433,0.00001235724,0.009258855],"study_design_scores_gemma":[0.0006485555,0.0003316502,0.0004676145,0.0000466921,0.0005413958,0.000135856,0.0001128638,0.9807618,0.01387936,0.0005911847,0.0008080577,0.001674993],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00438357,0.00009812464,0.9894673,0.00003099127,0.001953408,0.0003804133,0.0003169902,0.003367969,0.000001250771],"genre_scores_gemma":[0.2726507,0.000006501305,0.7268958,0.00005315633,0.00005535195,0.0001852301,0.00002572002,0.0000632947,0.0000642417],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2682671,"threshold_uncertainty_score":0.9996482,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03845076192181567,"score_gpt":0.2846754222265513,"score_spread":0.2462246603047357,"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."}}