{"id":"W3188410362","doi":"10.1109/tse.2021.3101818","title":"Combining Genetic Programming and Model Checking to Generate Environment Assumptions","year":2022,"lang":"en","type":"article","venue":"Aisberg (University of Bergamo)","topic":"Evolutionary Algorithms and Applications","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"","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":"Computer science; Component (thermodynamics); Spurious relationship; Soundness; Flexibility (engineering); Benchmark (surveying); Software; Genetic programming; State (computer science); Artificial intelligence; Machine learning; Algorithm; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00295061,0.001985717,0.0009419184,0.00219242,0.0006532394,0.001354923,0.002095509,0.001583837,0.00179279],"category_scores_gemma":[0.01732454,0.0009726022,0.001988218,0.00101279,0.001589507,0.002258318,0.001756907,0.002366234,0.0004484084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001317112,"about_ca_system_score_gemma":0.002565827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009401357,"about_ca_topic_score_gemma":0.01547042,"domain_scores_codex":[0.9974426,0.0009808099,0.000118369,0.0005247505,0.0007367107,0.000196776],"domain_scores_gemma":[0.9847602,0.01233504,0.0007756678,0.001326483,0.0007102637,0.00009238656],"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.0000506962,0.00007959666,0.002953844,0.00009864485,0.00007544007,0.0001461731,0.0000782283,0.9349766,0.001783013,0.009394705,0.0005440913,0.04981899],"study_design_scores_gemma":[0.00000717247,0.00001571596,0.0001057977,0.00001418354,0.0000141953,0.00001914405,0.0000104575,0.9897912,0.001282854,0.008358821,0.0003745047,0.000005870794],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02337188,0.00008189016,0.9722974,0.000196354,0.00002552331,0.00008187923,0.0001286507,0.002406327,0.001410022],"genre_scores_gemma":[0.4408645,0.0001782157,0.5562389,0.000222745,0.00003016611,0.0002068567,0.0006296274,0.0004905772,0.001138373],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009401357,"threshold_uncertainty_score":0.01869327,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01419964987583469,"score_gpt":0.189868005760138,"score_spread":0.1756683558843034,"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."}}