中文
相关论文

相关论文: Bet and Run for Test Case Generation

200 篇论文

Unit testing verifies the presence of faults in individual software components. Previous research has been targeting the automatic generation of unit tests through the adoption of random or search-based algorithms. Despite their…

软件工程 · 计算机科学 2022-04-13 Fabiano Pecorelli , Giovanni Grano , Fabio Palomba , Harald C. Gall , Andrea De Lucia

``When in a difficult situation, it is sometimes better to give up and start all over again''. While this empirical truth has been regularly observed in a wide range of circumstances, quantifying the effectiveness of such a heuristic…

统计力学 · 物理学 2023-02-20 Benjamin De Bruyne , Francesco Mori

Metaheuristics are general methods that guide application of concrete heuristic(s) to problems that are too hard to solve using exact algorithms. However, even though a growing body of literature has been devoted to their statistical…

人工智能 · 计算机科学 2019-04-02 Miloš Simić

A key trait of stochastic optimizers is that multiple runs of the same optimizer in attempting to solve the same problem can produce different results. As a result, their performance is evaluated over several repeats, or runs, on the…

机器学习 · 计算机科学 2026-05-18 Moslem Noori , Elisabetta Valiante , Thomas Van Vaerenbergh , Masoud Mohseni , Ignacio Rozada

We introduce a new class of first passage time optimization driven by threshold resetting, inspired by many natural processes where crossing a critical limit triggers failure, degradation or transition. In here, search agents are…

统计力学 · 物理学 2026-01-22 Arup Biswas , Satya N Majumdar , Arnab Pal

Sequential decision problems are often approximately solvable by simulating possible future action sequences. Metalevel decision procedures have been developed for selecting which action sequences to simulate, based on estimating the…

人工智能 · 计算机科学 2014-08-12 Nicholas Hay , Stuart Russell , David Tolpin , Solomon Eyal Shimony

We consider a recently introduced class of network construction problems where edges of a transportation network need to be constructed by a server (construction crew). The server has a constant construction speed which is much lower than…

人工智能 · 计算机科学 2020-07-08 Igor Averbakh , Jordi Pereira

Machine learning relies on the assumption that unseen test instances of a classification problem follow the same distribution as observed training data. However, this principle can break down when machine learning is used to make important…

机器学习 · 计算机科学 2015-11-24 Moritz Hardt , Nimrod Megiddo , Christos Papadimitriou , Mary Wootters

Numerous purportedly improved metaheuristics claim superior performance based on equivalent function evaluations (FEs), yet often conceal additional computational burdens in more intensive iterations, preprocessing stages, or hyperparameter…

神经与进化计算 · 计算机科学 2025-09-12 Junbo Jacob Lian

We observe a trend regarding restart strategies used in SAT solvers. A few years ago, most state-of-the-art solvers restarted on average after a few thousands of backtracks. Currently, restarting after a dozen backtracks results in much…

人工智能 · 计算机科学 2014-02-19 Shai Haim , Marijn Heule

Despite the increasing popularity of metaheuristics, many crucially important questions remain unanswered. There are two important issues: theoretical framework and the gap between theory and applications. At the moment, the practice of…

最优化与控制 · 数学 2012-11-29 Xin-She Yang

Real-time heuristic search algorithms are suitable for situated agents that need to make their decisions in constant time. Since the original work by Korf nearly two decades ago, numerous extensions have been suggested. One of the most…

人工智能 · 计算机科学 2009-12-17 Valeriy K. Bulitko , Vadim Bulitko

This paper presents a non-manual design engineering method based on heuristic search algorithm to search for candidate agents in the solution space which formed by artificial intelligence agents modeled on the base of bionics.Compared with…

人工智能 · 计算机科学 2018-07-30 Zengkun Li

In business processes, activity batching refers to packing multiple activity instances for joint execution. Batching allows managers to trade off cost and processing effort against waiting time. Larger and less frequent batches may lower…

人工智能 · 计算机科学 2025-07-22 Orlenys López-Pintado , Jannis Rosenbaum , Marlon Dumas

Suicide bombing is an infamous form of terrorism that is becoming increasingly prevalent in the current era of global terror warfare. We consider the case of targeted attacks of this kind, and the use of detectors distributed over the area…

神经与进化计算 · 计算机科学 2024-05-30 Carlos Cotta , José E. Gallardo

This research is focused on solving problems in the area of software project management using metaheuristic search algorithms and as such is research in the field of search based software engineering. The main aim of this research is to…

神经与进化计算 · 计算机科学 2016-05-09 Andy M. Connor , Amit Shah

Sequential decision problems are often approximately solvable by simulating possible future action sequences. {\em Metalevel} decision procedures have been developed for selecting {\em which} action sequences to simulate, based on…

人工智能 · 计算机科学 2012-07-26 Nicholas Hay , Stuart Russell , David Tolpin , Solomon Eyal Shimony

Research on new optimization algorithms is often funded based on the motivation that such algorithms might improve the capabilities to deal with real-world and industrially relevant optimization challenges. Besides a huge variety of…

神经与进化计算 · 计算机科学 2020-07-02 Ramses Sala , Ralf Müller

Multi-agent systems (MAS) may encounter uncertainties in the form of unexpected environmental conditions, sub-optimal system configurations, and unplanned interactions between autonomous agents. The number of combinations of such…

软件工程 · 计算机科学 2022-05-12 Abigail C. Diller , Erik M. Fredericks

Following decades of sustained improvement, metaheuristics are one of the great success stories of optimization research. However, in order for research in metaheuristics to avoid fragmentation and a lack of reproducibility, there is a…