中文
相关论文

相关论文: Can Search-Based Testing with Pareto Optimization …

200 篇论文

The challenge of noisy multi-objective optimization lies in the constant trade-off between exploring new decision points and improving the precision of known points through resampling. This decision should take into account both the…

机器学习 · 计算机科学 2025-04-25 Timo Budszuhn , Mark Joachim Krallmann , Daniel Horn

Creating meaningful interpretations for black-box machine learning models involves balancing two often conflicting objectives: accuracy and explainability. Exploring the trade-off between these objectives is essential for developing…

机器学习 · 计算机科学 2025-08-22 Aniruddha Joshi , Supratik Chakraborty , S Akshay , Shetal Shah , Hazem Torfah , Sanjit Seshia

Software quality estimation is a challenging and time-consuming activity, and models are crucial to face the complexity of such activity on modern software applications. In this context, software refactoring is a crucial activity within…

软件工程 · 计算机科学 2024-01-31 Vittorio Cortellessa , Daniele Di Pompeo , Vincenzo Stoico , Michele Tucci

In this paper, the monotone submodular maximization problem (SM) is studied. SM is to find a subset of size $\kappa$ from a universe of size $n$ that maximizes a monotone submodular objective function $f$. We show using a novel analysis…

数据结构与算法 · 计算机科学 2021-07-07 Victoria G. Crawford

Dynamic Sparse Training (DST) methods train neural networks by maintaining sparsity while dynamically adapting the network topology. Despite the promise of reduced computation, DST methods converge significantly slower than dense training,…

机器学习 · 计算机科学 2026-05-28 Mohammed Adnan , Rohan Jain , Tom Jacobs , Ekansh Sharma , Rahul G. Krishnan , Rebekka Burkholz , Yani Ioannou

The limited or no protection for civilian Global Navigation Satellite System (GNSS) signals makes spoofing attacks relatively easy. With modern mobile devices often featuring network interfaces, state-of-the-art signals of opportunity (SOP)…

密码学与安全 · 计算机科学 2025-06-17 Wenjie Liu , Panos Papadimitratos

A classical heuristic in software testing is to reward diversity, which implies that a higher priority must be assigned to test cases that differ the most from those already prioritized. This approach is commonly known as similarity-based…

软件工程 · 计算机科学 2018-09-05 Alireza Haghighatkhah , Mika Mäntylä , Markku Oivo , Pasi Kuvaja

Digital Surface Model generation from satellite imagery is a core task in Earth observation and is commonly addressed using classical stereoscopic matching algorithms in satellite pipelines as in the Satellite Stereo Pipeline (S2P). While…

计算机视觉与模式识别 · 计算机科学 2026-03-24 Elías Masquil , Thibaud Ehret , Pablo Musé , Gabriele Facciolo

Recently, evolutionary multitasking has been employed to generate a ``set of Pareto sets" (SOS) for machine learning models, addressing diverse task settings across heterogeneous environments. This involves creating a repository of compact,…

神经与进化计算 · 计算机科学 2026-04-07 Jiao Liu , Yew Soon Ong , Melvin Wong

Pareto Set Learning (PSL) is an emerging research area in multi-objective optimization, focusing on training neural networks to learn the mapping from preference vectors to Pareto optimal solutions. However, existing PSL methods are limited…

机器学习 · 计算机科学 2025-04-08 Chikai Shang , Rongguang Ye , Jiaqi Jiang , Fangqing Gu

Failure region, where failure-causing inputs reside, has provided many insights to enhance testing effectiveness of many testing methods. Failure region may also provide some important information to support other processes such as software…

软件工程 · 计算机科学 2020-07-31 Rubing Huang , Weifeng Sun , Tsong Yueh Chen , Sebastian Ng , Jinfu Chen

Multiobjective combinatorial optimization (MOCO) problems can be found in many real-world applications. However, exactly solving these problems would be very challenging, particularly when they are NP-hard. Many handcrafted heuristic…

机器学习 · 计算机科学 2022-05-10 Xi Lin , Zhiyuan Yang , Qingfu Zhang

The study of semantics in Genetic Program (GP) deals with the behaviour of a program given a set of inputs and has been widely reported in helping to promote diversity in GP for a range of complex problems ultimately improving evolutionary…

神经与进化计算 · 计算机科学 2020-12-10 Edgar Galván , Fergal Stapleton

Existing post-training techniques are broadly categorized into supervised fine-tuning (SFT) and reinforcement learning (RL) methods; the former is stable during training but suffers from limited generalization, while the latter, despite its…

计算机视觉与模式识别 · 计算机科学 2025-07-02 Daoan Zhang , Guangchen Lan , Dong-Jun Han , Wenlin Yao , Xiaoman Pan , Hongming Zhang , Mingxiao Li , Pengcheng Chen , Yu Dong , Christopher Brinton , Jiebo Luo

Search-Based Software Testing (SBST) is a well-established approach for automated unit test generation, yet it often suffers from premature convergence and limited diversity in the generated test suites. Recently, Large Language Models…

软件工程 · 计算机科学 2026-02-13 Lior Broide , Roni Stern , Argaman Mordoch

Optimising the major next-generation cosmological surveys (such as {\em SNAP, KAOS etc...}) is a key problem given our ignorance of the physics underlying cosmic acceleration and the plethora of surveys planned. We propose a Bayesian design…

天体物理学 · 物理学 2009-11-10 Bruce A. Bassett

Level-set optimization formulations with data-driven constraints minimize a regularization functional subject to matching observations to a given error level. These formulations are widely used, particularly for matrix completion and…

最优化与控制 · 数学 2020-01-08 Robert Baraldi , Rajiv Kumar , Aleksandr Aravkin

In this paper, we deal with the Front Steepest Descent algorithm for multi-objective optimization. We point out that the algorithm from the literature is often incapable, by design, of spanning large portions of the Pareto front. We thus…

最优化与控制 · 数学 2023-03-17 Matteo Lapucci , Pierluigi Mansueto

Traditional Search-Based Software Engineering (SBSE) assumes global search and full Pareto exploration are essential. We offer the following negative result based on a study of over 100 Software Engineering (SE) optimization tasks:…

软件工程 · 计算机科学 2026-05-12 Kishan Kumar Ganguly , Tim Menzies

Determining the ideal architecture for deep learning models, such as the number of layers and neurons, is a difficult and resource-intensive process that frequently relies on human tuning or computationally costly optimization approaches.…