{"id":"W2736565934","doi":"10.1007/s10270-017-0610-0","title":"SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines","year":2017,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":83,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; National Natural Science Foundation of China; Natural Science Foundation of Shanghai","keywords":"Computer science; Key (lock); Satisfiability; Product (mathematics); Modulo; Satisfiability modulo theories; Evolutionary algorithm; Software product line; Software; Algorithm; Mathematical optimization; Theoretical computer science; Software development; Mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006981276,0.001572582,0.0009840713,0.0009751145,0.0005199782,0.0009116508,0.001588669,0.00119443,0.004658049],"category_scores_gemma":[0.001334045,0.0007359984,0.0008993543,0.0008728202,0.0003732704,0.000876415,0.001205871,0.001020691,0.000798612],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005835654,"about_ca_system_score_gemma":0.001216809,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004287499,"about_ca_topic_score_gemma":0.006105806,"domain_scores_codex":[0.999617,0.0001115294,0.00001624222,0.00005527805,0.000147311,0.00005265732],"domain_scores_gemma":[0.9995539,0.0002122035,0.00005683468,0.00004313195,0.00009623932,0.00003770785],"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.00007364924,0.00006714666,0.0003051402,0.00009155602,0.00004376192,0.00005250039,0.00003314103,0.9009388,0.003565204,0.001227562,0.001350238,0.09225134],"study_design_scores_gemma":[0.00001145309,0.00004016922,0.00004123529,0.000005294971,0.0000058613,0.000009762171,0.000005545517,0.9985984,0.0004831621,0.0003378425,0.0004585763,0.000002776001],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02839687,0.000281999,0.9643069,0.00007639258,0.00004682583,0.0001244547,0.0000928338,0.002103897,0.004569848],"genre_scores_gemma":[0.3012253,0.0001723761,0.693633,0.0001242267,0.00002839392,0.0003755068,0.0002807175,0.0003927682,0.003767683],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004658049,"threshold_uncertainty_score":0.01558268,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05963609799971616,"score_gpt":0.3114324932516746,"score_spread":0.2517963952519585,"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."}}