{"id":"W2003775793","doi":"10.1145/2568225.2568283","title":"Mining configuration constraints: static analyses and empirical results","year":2014,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":119,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Heuristics; Computer science; Consistency (knowledge bases); Heuristic; Data mining; Feature (linguistics); Feature model; Software; Machine learning; Artificial intelligence; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.0004794989,0.00007688383,0.000120399,0.00005991258,0.00004180419,0.00006554652,0.0001556145,0.00002977108,0.000003465592],"category_scores_gemma":[0.003041753,0.00006256586,0.00001360711,0.0001340054,0.00008424842,0.0002455938,0.00005779524,0.00005169808,0.0000047924],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009520348,"about_ca_system_score_gemma":0.00001542774,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002176795,"about_ca_topic_score_gemma":0.000001132598,"domain_scores_codex":[0.9992525,0.0001203235,0.0001708055,0.0002287565,0.00009813502,0.000129511],"domain_scores_gemma":[0.9975496,0.00209251,0.00004460742,0.0002233971,0.00004030425,0.0000496135],"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.0000238338,0.00003414292,0.0005685104,0.00005060403,0.0000572734,0.00001716471,0.004197571,0.07129926,0.01171394,0.07476916,0.002646947,0.8346216],"study_design_scores_gemma":[0.002511213,0.0006875265,0.02151782,0.00009744904,0.00003284045,0.0001059764,0.0009482648,0.8385516,0.05688819,0.07108469,0.006429318,0.00114507],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006280698,0.00001610972,0.9909381,0.000628512,0.00009157729,0.00003740344,5.921074e-7,0.0003427746,0.001664224],"genre_scores_gemma":[0.3427204,0.000002377186,0.6570116,0.0001876038,0.00001134608,0.000001781832,9.816921e-7,0.000002185655,0.00006171141],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8334765,"threshold_uncertainty_score":0.3641482,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1591713202311108,"score_gpt":0.4073229713322111,"score_spread":0.2481516511011003,"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."}}