Leveraging Artificial Intelligence for Model-based Software Analysis and Design

A Garmendia, D Bork, M Eisenberg, T Ferreira… - Optimising the Software …, 2023 - Springer
Fundamental decisions are made in the early phases of software development. The typical
outcomes of these phases are models of different kinds, such as architectural models, data …

Enabling decision and objective space exploration for interactive multi-objective refactoring

S Rebai, V Alizadeh, M Kessentini… - IEEE Transactions …, 2020 - ieeexplore.ieee.org
Due to the conflicting nature of quality measures, there are always multiple refactoring
options to fix quality issues. Thus, interaction with developers is critical to inject their …

Shaken, Not Stirred. How Developers Like Their Amplified Tests

C Brandt, A Khatami, M Wessel… - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
Test amplification makes systematic changes to existing, manually written tests to provide
tests complementary to an automated test suite. We consider developer-centric test …

New reliability-driven bounds for architecture-based multi-objective testing resource allocation

G Zhang, L Li, Z Su, Z Shao, M Li, B Li… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
The multi-objective testing resource allocation problem (MOTRAP) aims at seeking a good
trade-off between system reliability, testing cost, and testing time, which is of significant …

Model‐based source code refactoring with interaction and visual cues

I Hemati Moghadam, M Ó Cinnéide… - Journal of Software …, 2024 - Wiley Online Library
Refactoring source code involves the developer in a myriad of program detail that can
obscure the design changes that they actually wish to bring about. On the other hand …

Studying the Influence and Distribution of the Human Effort in a Hybrid Fitness Function for Search-Based Model-Driven Engineering

R Casamayor, C Cetina, O Pastor… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Search-Based Software Engineering (SBSE) offers solutions that efficiently explore large
complex problem spaces. To obtain more favorable solutions, human participation in the …

Interactive search-based Product Line Architecture design

WM Freire, CT Rosa, AMMM Amaral… - Automated Software …, 2024 - Springer
Abstract Software Product Line (SPL) is an approach derived from other engineering fields
that use reuse techniques for a family of products in a given domain. An essential artifact of …

An Approach of Improving the Efficiency of Software Fault Localization based on Feedback Ranking Information

B Yang, X Ma, H Guo, Y He, F Xu - Applied Sciences, 2023 - mdpi.com
Fault localization, a critical process of software debugging, can be implemented by ranking
program statements according to their suspiciousness of being faulty, which, in turn, is …

Metaheuristics and software engineering: past, present, and future

E Alba, J Ferrer, I Villalobos - International Journal of Software …, 2021 - World Scientific
This work aims at giving an updated vision on the successful combination between
Metaheuristics and Software Engineering (SE). Mostly during the 90s, varied groups of …

Parallel program testing based on critical communication and branch transformation

T Tian, A Wang, X Yang, D Gong, T Hou… - The Journal of …, 2024 - Springer
Software testing is an efficient way to guarantee the reliability and accuracy of parallel
programs. Communication plays a substantial role in parallel program testing. The huge …