{"id":"W4287075879","doi":"10.48550/arxiv.2107.07690","title":"Applying Declarative Analysis to Software Product Line Models: An\\n Industrial Study","year":2021,"lang":"","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Datalog; Programming language; Software engineering; Software; Process (computing); Pipeline (software); Set (abstract data type); Product (mathematics); Software product line; Expression (computer science); Declarative programming; Software development; Programming paradigm","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":["metaepi_narrow","open_science","research_integrity"],"consensus_categories":["metaepi_narrow"],"category_scores_codex":[0.002466282,0.001388205,0.002242477,0.002014029,0.0006765009,0.0007192025,0.005168613,0.0009603855,0.00004062846],"category_scores_gemma":[0.003411626,0.001747538,0.000798159,0.01160983,0.0002025552,0.002688559,0.008109321,0.003496346,0.00002454701],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001121516,"about_ca_system_score_gemma":0.001109668,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003038016,"about_ca_topic_score_gemma":0.0003322576,"domain_scores_codex":[0.9886241,0.002449451,0.0009738964,0.006168309,0.000528331,0.001255892],"domain_scores_gemma":[0.989637,0.001738316,0.0007428382,0.005504241,0.001517291,0.0008602806],"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.0001701587,0.0008892052,0.004817462,0.00004034897,0.003058731,0.001064093,0.00515578,0.971862,0.00002129654,0.001308498,0.000007572567,0.01160486],"study_design_scores_gemma":[0.001369482,0.0009436104,0.001188473,0.000161557,0.003331246,0.000007484535,0.006399578,0.9728002,0.0004321049,0.01081731,0.00006497827,0.002483995],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3272702,0.0001262693,0.6675388,0.00002083732,0.00174129,0.002549879,0.00003013842,0.0007051017,0.00001748722],"genre_scores_gemma":[0.7438251,0.00009105861,0.2550208,0.0000618629,0.0003206441,0.00004849805,0.00004796822,0.00006701698,0.0005170341],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.416555,"threshold_uncertainty_score":0.9999129,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3675659433795018,"score_gpt":0.2727640555082367,"score_spread":0.09480188787126509,"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."}}