{"id":"W3120403074","doi":"10.1109/tse.2021.3101818","title":"Combining Genetic Programming and Model Checking to Generate Environment Assumptions","year":2021,"lang":"en","type":"preprint","venue":"IEEE Transactions on Software Engineering","topic":"Evolutionary Algorithms and Applications","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada; H2020 Excellent Science; Fonds National de la Recherche Luxembourg","keywords":"Component (thermodynamics); Computer science; Spurious relationship; Soundness; Flexibility (engineering); Benchmark (surveying); Genetic programming; Software; State (computer science); Artificial intelligence; Machine learning; Algorithm; Programming language; Mathematics","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.003085833,0.00210841,0.001001116,0.002183291,0.0006793241,0.001481402,0.002300713,0.001746271,0.001831805],"category_scores_gemma":[0.01895131,0.001030596,0.002130872,0.001084851,0.001778237,0.002417619,0.001895781,0.002733638,0.0004991281],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001437582,"about_ca_system_score_gemma":0.002740358,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009372694,"about_ca_topic_score_gemma":0.01540419,"domain_scores_codex":[0.9970909,0.001068609,0.0001303297,0.0006195386,0.0008725537,0.0002180041],"domain_scores_gemma":[0.9830676,0.01361184,0.0008332565,0.001581222,0.0008019733,0.0001041436],"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.00005455281,0.00008554236,0.002914682,0.000105777,0.00007616629,0.0001579158,0.0000805267,0.9324885,0.001990367,0.0109027,0.0006611068,0.05048214],"study_design_scores_gemma":[0.000007550737,0.00001447577,0.0000964122,0.00001383928,0.00001326291,0.00001907177,0.000009608026,0.9882931,0.001380271,0.00975773,0.0003887912,0.00000594602],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0209887,0.00008647426,0.9743803,0.0002092533,0.00002759811,0.00008068539,0.0001391782,0.002713487,0.001374464],"genre_scores_gemma":[0.4246109,0.0001958412,0.5721382,0.0002605287,0.00003611828,0.0002152079,0.0007393831,0.0006038797,0.001199849],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009372694,"threshold_uncertainty_score":0.01863623,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01687721823519412,"score_gpt":0.2219372926716811,"score_spread":0.2050600744364869,"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."}}