中文
相关论文

相关论文: On Test Sequence Generation using Multi-Objective …

200 篇论文

WebAssembly (Wasm) is a binary instruction format designed as a portable compilation target, which has been widely used on both the web and server sides in recent years. As high performance is a critical design goal of Wasm, it is essential…

软件工程 · 计算机科学 2024-12-31 Shuyao Jiang , Ruiying Zeng , Yangfan Zhou , Michael R. Lyu

Mission-critical system, such as satellite systems, healthcare systems, and nuclear power plant control systems, undergo rigorous testing to ensure they meet specific operational requirements throughout their operation. This includes…

软件工程 · 计算机科学 2025-10-07 Raphaël Ollando , Seung Yeob Shin , Mario Minardi , Nikolas Sidiropoulos

An oracle is a mechanism to decide whether the outputs of the program for the executed test cases are correct. For machine learning programs, such oracle is not available or too difficult to apply. Metamorphic testing is a testing approach…

软件工程 · 计算机科学 2022-09-02 Madhusudan Srinivasan , Upulee Kanewala

Background: The field of software testing is growing and rapidly-evolving. Aims: Based on keywords assigned to publications, we seek to identify predominant research topics and understand how they are connected and have evolved. Method: We…

数字图书馆 · 计算机科学 2022-09-20 Alireza Salahirad , Gregory Gay , Ehsan Mohammadi

As the acquisition cost of the graphics processing unit (GPU) has decreased, personal computers (PC) can handle optimization problems nowadays. In optimization computing, intelligent swarm algorithms (SIAs) method is suitable for…

神经与进化计算 · 计算机科学 2021-10-05 Wei-Chang Yeh , Zhenyao Liu , Shi-Yi Tan , Shang-Ke Huang

Robot swarms can be tasked with a variety of automated sensing and inspection applications in aerial, aquatic, and surface environments. In this paper, we study a simplified two-outcome surface inspection task. We task a group of robots to…

机器人学 · 计算机科学 2023-10-06 Darren Chiu , Radhika Nagpal , Bahar Haghighat

Machine learning has become prevalent across a wide variety of applications. Unfortunately, machine learning has also shown to be susceptible to deception, leading to errors, and even fatal failures. This circumstance calls into question…

软件工程 · 计算机科学 2022-05-03 Dusica Marijan , Arnaud Gotlieb

Built upon the decision tree (DT) classification and regression idea, the subspace learning machine (SLM) has been recently proposed to offer higher performance in general classification and regression tasks. Its performance improvement is…

机器学习 · 计算机科学 2022-08-16 Hongyu Fu , Yijing Yang , Yuhuai Liu , Joseph Lin , Ethan Harrison , Vinod K. Mishra , C. -C. Jay Kuo

Some real problems require the evaluation of expensive and noisy objective functions. Moreover, the analytical expression of these objective functions may be unknown. These functions are known as black-boxes, for example, estimating the…

机器学习 · 统计学 2021-07-12 Lucia Asencio Martín , Eduardo C. Garrido-Merchán

Generating tests for games is challenging due to the high degree of randomisation inherent to games and hard-to-reach program states that require sophisticated gameplay. The test generator NEATEST tackles these challenges by combining…

软件工程 · 计算机科学 2025-01-15 Patric Feldmeier , Katrin Schmelz , Gordon Fraser

In typical black-box optimization applications, the available computational budget is often allocated to a single algorithm, typically chosen based on user preference with limited knowledge about the problem at hand or according to some…

神经与进化计算 · 计算机科学 2026-01-26 Catalin-Viorel Dinu , Diederick Vermetten , Carola Doerr

There are two major approaches for sequence labeling. One is the probabilistic gradient-based methods such as conditional random fields (CRF) and neural networks (e.g., RNN), which have high accuracy but drawbacks: slow training, and no…

机器学习 · 计算机科学 2018-11-20 Xu Sun , Shuming Ma , Yi Zhang , Xuancheng Ren

In software development process we come across various modules. Which raise the idea of priority of the different modules of a software so that important modules are tested on preference. This approach is desirable because it is not…

软件工程 · 计算机科学 2009-05-10 Amit K Awasthi , Sanjay Chaudhary

Stochastic computer simulations enable users to gain new insights into complex physical systems. Optimization is a common problem in this context: users seek to find model inputs that maximize the expected value of an objective function.…

最优化与控制 · 数学 2018-09-13 Atiye Alaeddini , Daniel J. Klein

Offline optimization is a fundamental challenge in science and engineering, where the goal is to optimize black-box functions using only offline datasets. This setting is particularly relevant when querying the objective function is…

机器学习 · 计算机科学 2026-01-07 Minsu Kim , Jiayao Gu , Ye Yuan , Taeyoung Yun , Zixuan Liu , Yoshua Bengio , Can Chen

Program optimization is the process of modifying software to execute more efficiently. Superoptimizers attempt to find the optimal program by employing significantly more expensive search and constraint solving techniques. Generally, these…

机器学习 · 计算机科学 2022-04-06 Alex Shypula , Pengcheng Yin , Jeremy Lacomis , Claire Le Goues , Edward Schwartz , Graham Neubig

In this paper, a new approach is proposed for automated software maintenance. The tool is able to perform 26 different refactorings. It also contains a large selection of metrics to measure the impact of the refactorings on the software and…

软件工程 · 计算机科学 2017-10-17 Michael Mohan , Des Greer

Multi objective (MO) optimization is an emerging field which is increasingly being implemented in many industries globally. In this work, the MO optimization of the extraction process of bioactive compounds from the Gardenia Jasminoides…

神经与进化计算 · 计算机科学 2016-11-21 T. Ganesan , I. Elamvazuthi , P. Vasant

Embedded systems are ubiquitous and play critical roles in management systems for industry and transport. Software failures in these domains may lead to loss of production or even loss of life, so the software in these systems needs to be…

软件工程 · 计算机科学 2021-11-17 Per Erik Strandberg

This paper extends boolean particle swarm optimization to a multi-objective setting, to our knowledge for the first time in the literature. Our proposed new boolean algorithm, MBOnvPSO, is notably simplified by the omission of a velocity…

神经与进化计算 · 计算机科学 2022-10-13 Wei Quan , Denise Gorse