China
Africa
Explore chapters and articles related to this topic
Refactoring Support for Variability-intensive Systems
Published in Ivan Mistrik, Matthias Galster, Bruce R. Maxim, Software Engineering for Variability Intensive Systems, 2019
Vahid Alizadeh, Marouane Kessentini, Bruce R. Maxim
Software engineering is by nature a search problem, where the goal is to find an optimal or near-optimal solution [21]. This search is often complex with several competing constraints, and conflicting functional and non-functional objectives. The situation can be worse since nowadays successful software are more complex, more critical and more dynamic leading to an increasing need to automate or semi-automate the search process for acceptable refactoring solutions by software engineers. As a result, an emerging software engineering area, called Search-Based Software Engineering (SBSE) [22], is rapidly growing. SBSE is a software development practice that focuses on couching software engineering problems as optimization problems and utilizing metaheuristic techniques to discover and automate the search for near optimal solutions to those problems.
Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization
Published in Journal of Information and Telecommunication, 2022
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
Search-Based Software Engineering (SBSE) (Harman et al., 2012) is a research field that aims to solve software engineering problems using search methodologies. The search methodologies contain Swarm Intelligence and metaheuristics, which are based on distributed, multi-agent and collectively intelligent approaches for finding better solutions efficiently. While SBSE is applied to many kinds of research topics, such as software design and refactoring, the most promising domain is formal verification.
(AIAM2019) Artificial Intelligence in Software Engineering and inverse: Review
Published in International Journal of Computer Integrated Manufacturing, 2020
Mohammad Shehab, Laith Abualigah, Muath Ibrahim Jarrah, Osama Ahmad Alomari, Mohammad Sh. Daoud
Many researchers have utilized AI-based approaches to address SE problems, such as requirement and design, maintenance, and testing (Zhang, Finkelstein, and Harman 2008; Räihä 2010; Shehab 2020b). The application of optimization search approaches in solving such problems is widely known as search-based SE (SBSE) and was proven to be successful and applicable (Harman 2012).