{"title":"Evolutionary computation and evolutionary deep learning for image analysis, signal processing and pattern recognition","authors":"Mengjie Zhang, S. Cagnoni","doi":"10.1145/3520304.3533636","DOIUrl":"https://doi.org/10.1145/3520304.3533636","url":null,"abstract":"","PeriodicalId":216331,"journal":{"name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126604627","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A chaotic parallel antlion optimization algorithm for feature selection","authors":"Xun Zhou, Hongwei Chen, Dewei Shi","doi":"10.1145/3520304.3528913","DOIUrl":"https://doi.org/10.1145/3520304.3528913","url":null,"abstract":"Feature selection is an important part of data preprocessing. There are currently three types of feature selection, namely filter, wrapper, and embedded feature selection methods. The latter is a combination of the former two. However, when the feature dimension is high and the amount of data is large, the filter method may not be able to extract a better subset, ignoring the interaction between the features, and the embedded algorithm has requirements for the learning model. Currently, wrapper algorithms face the problem of high computational overhead. The Spark platform based on in-memory computing has advantages in handling iterative tasks. Therefore, this paper proposes a chaotic parallel antlion optimization algorithm for feature selection (QPSALO) based on Spark, and conducts experimental comparisons on seven datasets. The results show that the QPSALO algorithm can improve the quality of candidate feature subsets while speeding up the execution.","PeriodicalId":216331,"journal":{"name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","volume":"197 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116146027","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022)","authors":"Xinyi Wang, Paolo Arcaini, T. Yue, Shaukat Ali","doi":"10.1145/3520304.3534067","DOIUrl":"https://doi.org/10.1145/3520304.3534067","url":null,"abstract":"The inherent complexity of quantum programs, due to features such as superposition and entanglement, makes their testing particularly challenging. To tackle these challenges, we present a search-based approach, called Quantum Search-Based Testing (QuSBT), for automatically generating test suites of a given size that possibly expose failures of the quantum program under test. QuSBT encodes a test suite as a search individual, and tries to maximize the objective function that counts the number of failing tests in the test suite. Due to non-deterministic nature of quantum programs, the approach repeats the execution of each test multiple times, and uses suitable statistical tests to assess if a test passes or fails. QuSBT employs a genetic algorithm to perform the search. Experiments on 30 faulty quantum programs show that QuSBT is statistically better than random search, and is able to efficiently generate maximal failing test suites. This is an extended abstract of the paper [1]: X. Wang, P. Arcaini, T. Yue, and S. Ali \"Generating Failing Test Suites for Quantum Programs With Search\", 13th International Symposium on Search-Based Software Engineering (SSBSE 2021).","PeriodicalId":216331,"journal":{"name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114518540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Jeroen G. Rook, H. Trautmann, Jakob Bossek, C. Grimme
{"title":"On the potential of automated algorithm configuration on multi-modal multi-objective optimization problems","authors":"Jeroen G. Rook, H. Trautmann, Jakob Bossek, C. Grimme","doi":"10.1145/3520304.3528998","DOIUrl":"https://doi.org/10.1145/3520304.3528998","url":null,"abstract":"Hardness of Multi-Objective (MO) continuous optimization problems results from an interplay of various problem characteristics, e. g. the degree of multi-modality. We present a benchmark study of classical and diversity focused optimizers on multi-modal MO problems based on automated algorithm configuration. We show the large effect of the latter and investigate the trade-off between convergence in objective space and diversity in decision space.","PeriodicalId":216331,"journal":{"name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128352230","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Amaru","authors":"O. Krauss","doi":"10.7312/part18438-004","DOIUrl":"https://doi.org/10.7312/part18438-004","url":null,"abstract":"","PeriodicalId":216331,"journal":{"name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129361583","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Learning to balance exploration and exploitation in pareto local search for multi-objective combinatorial optimization","authors":"Haotian Zhang, Jialong Shi, Jianyong Sun, Zongben Xu","doi":"10.1145/3520304.3528906","DOIUrl":"https://doi.org/10.1145/3520304.3528906","url":null,"abstract":"As a natural extension of local search, Pareto local search (PLS) is a basic building block in many state-of-the-art metaheuristics for multi-objective combinatorial optimization problems (MCOPs). However, the basic PLS suffers from a low convergence rate, since it always fully explores the neighborhood of each unexplored solution, which is unnecessary. Some studies tried to introduce heuristic design in PLS to balance exploration and exploitation. In this paper, we handle this issue by a learning based framework. In the framework, PLS applies the firstK strategy, namely it stops exploring a solution's neighborhood when it obtains K non-dominated solutions, where K is adaptively controlled by a neural network based on observations collected during the search. Training the neural network is modeled as a reinforcement learning problem. Thus the proposed PLS variant is called PLSNN. In the experiments, we compared the performance of PLS, PLSNN and several PLS variants with heuristic design on the multi-objective unconstrained binary quadratic programming problem (mUBQP). The experimental results show that PLSNN performed significantly better than its counterparts on all test instances.","PeriodicalId":216331,"journal":{"name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","volume":"04 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130338445","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
J. Ayerdi, Valerio Terragni, Aitor Arrieta, P. Tonella, Goiuria Sagardui Mendieta, Maite Arratibel
{"title":"Evolutionary generation of metamorphic relations for cyber-physical systems","authors":"J. Ayerdi, Valerio Terragni, Aitor Arrieta, P. Tonella, Goiuria Sagardui Mendieta, Maite Arratibel","doi":"10.1145/3520304.3534077","DOIUrl":"https://doi.org/10.1145/3520304.3534077","url":null,"abstract":"A problem when testing Cyber-Physical Systems (CPS) is the difficulty of determining whether a particular system output or behaviour is correct or not. Metamorphic testing alleviates such a problem by reasoning on the relations expected to hold among multiple executions of the system under test, which are known as Metamorphic Relations (MRs). However, the development of effective MRs is often challenging and requires the involvement of domain experts. This paper summarizes our recent publication: \"Generating Metamorphic Relations for Cyber-Physical Systems with Genetic Programming: An Industrial Case Study\", presented at ESEC/FSE 2021. In that publication we presented GAssertMRs, the first technique to automatically generate MRs for CPS, leveraging GP to explore the space of candidate solutions. We evaluated GAssertMRs in an industrial case study, outperforming other baselines.","PeriodicalId":216331,"journal":{"name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126905755","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Probabilistic reasoning as quadratic unconstrained binary optimization","authors":"M. Baioletti","doi":"10.1145/3520304.3534005","DOIUrl":"https://doi.org/10.1145/3520304.3534005","url":null,"abstract":"Probabilistic reasoning is an important tool for using uncertainty in AI, especially for automated reasoning. Partial probability assessments are a way of expressing partial probabilistic knowledge on a set of events. These assessments contain only the information about \"interesting\" events (hence it can be easily assessed by an expert). On the other hand, partial assessments can cause consistency problems. In this paper we show how to formulate the main tasks of probabilistic reasoning on partial probability assessments, namely check of coherence, correction, and inference, as QUBO problems. This transformation allows to solve these problems with a quantum or a digital annealer and thus providing new computational methods to perform these tasks.","PeriodicalId":216331,"journal":{"name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121174901","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
André Thomaser, Anna V. Kononova, M. Vogt, Thomas Bäck
{"title":"One-shot optimization for vehicle dynamics control systems: towards benchmarking and exploratory landscape analysis","authors":"André Thomaser, Anna V. Kononova, M. Vogt, Thomas Bäck","doi":"10.1145/3520304.3533979","DOIUrl":"https://doi.org/10.1145/3520304.3533979","url":null,"abstract":"Many real-world black-box optimization problems from industry are computationally expensive. Due to the advantage in wall-clock time, fully parallel sampling (one-shot search) is therefore often chosen over iterative search and adaptive sampling approaches. Our contribution shows how using a surrogate model (one-shot optimization with surrogate) can enhance the best solution found within the initial sample, requiring no further problem evaluations. We test several surrogate types for one-shot optimization on a real-world problem from the field of vehicle dynamics control systems and the 24 well-known BBOB benchmark test functions. For the real-world problem and most of the benchmark functions considered, a multi-layer perceptron (neural network) as surrogate model for one-shot optimization leads to worse solutions than the one-shot search, in contrast to random forest and support vector machine. Moreover, our results show that mean squared error as a commonly used quality metrics for regression models is not feasible for selecting a surrogate model for one-shot optimization. To characterize the considered problems and to assess the similarity between the real-world problem and the benchmark functions, exploratory landscape analysis was performed. We provide some guidance on how to utilize this information to select a surrogate type for specific problems.","PeriodicalId":216331,"journal":{"name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","volume":"258 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121300202","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Py2Cy","authors":"J. Zhong, Max Hort, Federica Sarro","doi":"10.1145/3520304.3534037","DOIUrl":"https://doi.org/10.1145/3520304.3534037","url":null,"abstract":"Due to its ease of use and wide range of custom libraries, Python has quickly gained popularity and is used by a wide range of developers all over the world. While Python allows for fast writing of source code, the resulting programs are slow to execute when compared to programs written in other programming languages like C. One of the reasons for its slow execution time is the dynamic typing of variables. Cython is an extension to Python, which can achieve execution speed-ups by compiler optimization. One possibility for improvements is the use of static typing, which can be added to Python scripts by developers. To alleviate the need for manual effort, we create Py2Cy, a Genetic Improvement tool for automatically converting Python scripts to statically typed Cython scripts. To show the feasibility of improving runtime with Py2Cy, we optimize a Python script for generating Fibonacci numbers. The results show that Py2Cy is able to speed up the execution time by up to a factor of 18.","PeriodicalId":216331,"journal":{"name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","volume":"692 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116186039","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}