{"id":"W2068726498","doi":"10.1145/839268.839270","title":"Feature specification and automated conflict detection","year":2003,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":65,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Feature (linguistics); Model checking; Formal specification; Formal methods; Specification language; Extractor; Field (mathematics); Software engineering; Programming language; Data mining","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.0008583867,0.000141384,0.000162206,0.0002010834,0.0001354274,0.0000431816,0.0001694351,0.0001700047,0.000003253592],"category_scores_gemma":[0.001214585,0.0001443978,0.00002918539,0.0003011975,0.00003702195,0.0002134169,0.000006170497,0.000263219,0.000003850639],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003048405,"about_ca_system_score_gemma":0.00001305305,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004200977,"about_ca_topic_score_gemma":0.000001020762,"domain_scores_codex":[0.998958,0.0003131609,0.0001307601,0.0003360712,0.00008169855,0.0001803051],"domain_scores_gemma":[0.9986043,0.0007574012,0.00004691265,0.0004646825,0.00004624789,0.00008047326],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00004417855,0.00007896351,0.0001214316,0.0001411824,0.0001123899,0.000006354624,0.001833201,0.01415278,0.04813806,0.0455482,0.00006183551,0.8897614],"study_design_scores_gemma":[0.001849204,0.0008619842,0.03354447,0.00009074926,0.0001234025,0.001641883,0.0001959537,0.343977,0.4955776,0.003172101,0.1176008,0.001364898],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008814172,0.0002570294,0.9889448,0.0001246869,0.000701615,0.0001213945,0.000001879047,0.001020663,0.00001376338],"genre_scores_gemma":[0.05730532,0.0001720258,0.9423321,0.00005476642,0.00001486384,0.00003461567,8.977212e-7,0.00001299326,0.00007245467],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8883965,"threshold_uncertainty_score":0.5888373,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0813120162940838,"score_gpt":0.3161018302563561,"score_spread":0.2347898139622723,"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."}}