{"id":"W94759620","doi":"","title":"A Preliminary Report on Tool Support and Methodology for Feature Interaction Detection","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Automotive industry; Stateflow; Feature (linguistics); Computer science; Feature model; Set (abstract data type); Cruise control; Correctness; Domain (mathematical analysis); Software; MATLAB; Engineering; Artificial intelligence; Control (management); Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006890339,0.001561435,0.00104694,0.002406412,0.0006516035,0.002968999,0.003628189,0.001558438,0.03289656],"category_scores_gemma":[0.02399604,0.001944055,0.002889737,0.002036416,0.0007810802,0.00491527,0.002583648,0.002423232,0.01512771],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000888534,"about_ca_system_score_gemma":0.001839823,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001486993,"about_ca_topic_score_gemma":0.00140975,"domain_scores_codex":[0.9931929,0.001963506,0.0009480604,0.0009646475,0.002522901,0.0004080381],"domain_scores_gemma":[0.9801248,0.00981869,0.0009007602,0.006163253,0.002683556,0.0003089797],"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.0004095612,0.000757774,0.004894766,0.002354358,0.0002742136,0.001103385,0.001155378,0.0296182,0.07158168,0.04519949,0.04405754,0.7985936],"study_design_scores_gemma":[0.0002957542,0.0006712844,0.003345036,0.0009764159,0.000289426,0.003994473,0.0002853318,0.1988655,0.1958285,0.03650708,0.5586315,0.0003096432],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001940092,0.0001563098,0.9726065,0.0001269055,0.00006244294,0.0002428926,0.0007277229,0.0212649,0.002872135],"genre_scores_gemma":[0.03204483,0.0005332686,0.9467506,0.0001505252,0.00006006542,0.0006187407,0.005054368,0.007468938,0.007318603],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03289656,"threshold_uncertainty_score":0.1100499,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1082981838316729,"score_gpt":0.4028536875637754,"score_spread":0.2945555037321026,"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."}}