中文
相关论文

相关论文: Finding Higher Order Mutants Using Variational Exe…

200 篇论文

Universal compression algorithms have been studied in the past for sequential change detection, where they have been used to estimate the post-change distribution in the modified version of the Cumulative Sum (CUSUM) Test. In this paper, we…

信息论 · 计算机科学 2021-12-15 Vikrant Malik , R. K. Bansal

Digital signature schemes based on multivariate- and code-based hard problems are promising alternatives for lattice-based signature schemes, due to their small signature size. Gaussian Elimination (GE) is a critical operation in the…

密码学与安全 · 计算机科学 2025-01-27 Quinten Norga , Suparna Kundu , Uttam Kumar Ojha , Anindya Ganguly , Angshuman Karmakar , Ingrid Verbauwhede

Metamorphic testing is a widely used methodology that examines an expected relation between pairs of executions to automatically find bugs, such as correctness bugs. We found that code coverage cannot accurately measure the extent to which…

软件工程 · 计算机科学 2025-08-25 Jinsheng Ba , Yuancheng Jiang , Manuel Rigger

It is increasingly common clinically for cancer specimens to be examined using techniques that identify somatic mutations. In principle these mutational profiles can be used to diagnose the tissue of origin, a critical task for the 3-5% of…

统计方法学 · 统计学 2020-07-14 Saptarshi Chakraborty , Colin B. Begg , Ronglai Shen

Fuzzing is one of the fastest growing fields in software testing. The idea behind fuzzing is to check the behavior of software against a large number of randomly generated inputs, trying to cover all interesting parts of the input space,…

软件工程 · 计算机科学 2022-02-15 Rahul Gopinath , Philipp Görz , Alex Groce

Large Language Models (LLMs) have recently been used to generate mutants in both research work and in industrial practice. However, there has been no comprehensive empirical study of their performance for this increasingly important…

软件工程 · 计算机科学 2026-01-23 Bo Wang , Mingda Chen , Ming Deng , Youfang Lin , Mark Harman , Mike Papadakis , Jie M. Zhang

This paper analyzes the relative advantages between crossover and mutation on a class of deterministic and stochastic additively separable problems. This study assumes that the recombination and mutation operators have the knowledge of the…

神经与进化计算 · 计算机科学 2009-09-29 Kumara Sastry , David E. Goldberg

Motivation: Computational methods are essential to extract actionable information from raw sequencing data, and to thus fulfill the promise of next-generation sequencing technology. Unfortunately, computational tools developed to call…

Diff-based mutation testing is a mutation testing approach that only mutates lines affected by a code change under review. Google's mutation testing service integrates diff-based mutation testing into the code review process and…

软件工程 · 计算机科学 2023-06-16 Zimin Chen , Malgorzata Salawa , Manushree Vijayvergiya , Goran Petrovic , Marko Ivankovic , Rene Just

Mutation Testing is a fault-based software testing technique which is too computationally expensive for industrial use. Cloud-based distributed computing clusters, taking advantage of the MapReduce programming paradigm, represent a method…

软件工程 · 计算机科学 2016-01-29 Robert Merkel , James Georgeson

Identification of worst-case gust loads is a critical step in the certification of very flexible aircraft, yet the computational cost of nonlinear full-order simulations renders exhaustive parametric searches impractical. This paper…

计算工程、金融与科学 · 计算机科学 2026-04-16 Nikolaos D. Tantaroudas , Ilias Karachalios

For simulation-based systems, finding a set of test cases with the least cost by exploring multiple goals is a complex task. Domain-specific optimization goals (e.g. maximize output variance) are useful for guiding the rapid selection of…

软件工程 · 计算机科学 2023-05-08 Xiao Ling , Tim Menzies

We investigate higher order symplectic integration strategies within Bayesian cosmic density field reconstruction methods. In particular, we study the fourth-order discretisation of Hamiltonian equations of motion (EoM). This is achieved by…

宇宙学与河外天体物理 · 物理学 2021-09-29 Mónica Hernández-Sánchez , Francisco-Shu Kitaura , Metin Ata , Claudio Dalla Vecchia

Modern programming languages (e.g., Java and C#) provide features to separate error-handling code from regular code, seeking to enhance software comprehensibility and maintainability. Nevertheless, the way exception handling (EH) code is…

软件工程 · 计算机科学 2021-05-04 Luan P. Lima , Lincoln S. Rocha , Carla I. M. Bezerra , Matheus Paixao

Differential evolution(DE) is a conventional algorithm with fast convergence speed. However, DE may be trapped in local optimal solution easily. Many researchers devote themselves to improving DE. In our previously work, whale swarm…

神经与进化计算 · 计算机科学 2019-09-05 Haozhen Dong , Liang Gao , Xinyu Li , Haoran Zhong , Bing Zeng

Metamorphic viruses engage different mutation techniques to escape from string signature based scanning. They try to change their code in new offspring so that the variants appear non-similar and have no common sequences of string as…

密码学与安全 · 计算机科学 2011-04-19 Babak Bashari Rad , Maslin Masrom

It is generally accepted that populations are useful for the global exploration of multi-modal optimisation problems. Indeed, several theoretical results are available showing such advantages over single-trajectory search heuristics. In…

神经与进化计算 · 计算机科学 2019-03-27 Dogan Corus , Pietro S. Oliveto

Grammar-Guided Genetic Programming (GGGP) employs a variety of insights from evolutionary theory to autonomously design solutions for a given task. Recent insights from evolutionary biology can lead to further improvements in GGGP…

神经与进化计算 · 计算机科学 2023-07-13 Stefano Tiso , Pedro Carvalho , Nuno Lourenço , Penousal Machado

When faced with a specific optimization problem, choosing which algorithm to use is always a tough task. Not only is there a vast variety of algorithms to select from, but these algorithms often are controlled by many hyperparameters, which…

神经与进化计算 · 计算机科学 2020-01-07 Diederick Vermetten , Hao Wang , Carola Doerr , Thomas Bäck

We now need more than ever to make genome analysis more intelligent. We need to read, analyze, and interpret our genomes not only quickly, but also accurately and efficiently enough to scale the analysis to population level. There currently…