{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002540507,0.0009752988,0.0006625513,0.001883028,0.0006809057,0.002264144,0.002163748,0.0008290317,0.002294397],"category_scores_gemma":[0.01433427,0.0007945191,0.001614669,0.001263822,0.001329543,0.00388712,0.002334305,0.002075542,0.000759045],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008938531,"about_ca_system_score_gemma":0.001691387,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003008511,"about_ca_topic_score_gemma":0.005239001,"domain_scores_codex":[0.9967504,0.0006558594,0.0002171464,0.0006255876,0.00159322,0.0001579211],"domain_scores_gemma":[0.9832653,0.009418263,0.001161161,0.004214022,0.001806949,0.0001342884],"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.0004723296,0.0003448651,0.02077196,0.001101907,0.0002479612,0.001287103,0.00198865,0.2275971,0.07247082,0.07078676,0.01014738,0.5927832],"study_design_scores_gemma":[0.00002962262,0.00008628459,0.001847756,0.000115293,0.00006989619,0.0003051388,0.0002363257,0.8345209,0.0594911,0.08816421,0.01507497,0.00005850202],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02464332,0.0001147746,0.9619215,0.000154971,0.00002357249,0.00005551384,0.0004485377,0.0116713,0.0009665107],"genre_scores_gemma":[0.3104195,0.0002589313,0.6825581,0.0002206977,0.0000485303,0.0001176725,0.002161763,0.002652298,0.001562613],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003008511,"threshold_uncertainty_score":0.01343566,"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."}}