中文
相关论文

相关论文: Does Diversity Improve the Test Suite Generation f…

200 篇论文

Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce…

软件工程 · 计算机科学 2014-01-07 Manuel Giménez , Mariano M. Moscato , Carlos G. Lopez Pombo , Marcelo F. Frias

We present a Python package together with a practical guide for the implementation of a lightweight diversity-enhanced genetic algorithm (GA) approach for the exploration of multi-dimensional parameter spaces. Searching a parameter space…

神经与进化计算 · 计算机科学 2024-12-24 Jonas Wessén , Eliel Camargo-Molina

While scaling training compute has led to remarkable improvements in large language models (LLMs), scaling inference compute has not yet yielded analogous gains. We hypothesize that a core missing component is a lack of diverse LLM outputs,…

Context: The quality of the test suites and the constituent test cases significantly impacts confidence in software testing. While research has identified several quality attributes of test cases and test suites, there is a need for a…

A few works address the challenge of automating software diversification, and they all share one core idea: using automated test suites to drive diversification. However, there is is lack of solid understanding of how test suites, programs…

软件工程 · 计算机科学 2018-12-27 Benoit Baudry , Simon Allier , Marcelino Rodriguez-Cancio , Martin Monperrus

In recent years, various benchmark suites have been developed to evaluate the efficacy of Android security analysis tools. The choice of such benchmark suites used in tool evaluations is often based on the availability and popularity of…

软件工程 · 计算机科学 2020-02-05 Joydeep Mitra , Venkatesh-Prasad Ranganath , Aditya Narkar

Software faults are commonly occurred due to interactions between one or more input parameters in complex software systems. Software test design techniques can be implemented to ensure the quality of the developed software. Exhaustive…

软件工程 · 计算机科学 2021-08-03 Khin Maung Htay , Rozmie Razif Othman , Amiza Amir , Hasneeza Liza Zakaria , Nuraminah Ramli

Context:The extent of post-release use of software affects the number of faults, thus biasing quality metrics and adversely affecting associated decisions. The proprietary nature of usage data limited deeper exploration of this subject in…

软件工程 · 计算机科学 2020-02-25 Tapajit Dey , Audris Mockus

Context. Multiple automated techniques have been proposed and developed for mobile application GUI testing aiming to improve effectiveness, efficiency, and practicality. The effectiveness, efficiency, and practicality are 3 fundamental…

软件工程 · 计算机科学 2019-01-01 Yauhen Leanidavich Arnatovich , Lipo Wang

Testing provides means pertaining to assuring software performance. The total aim of software industry is actually to make a certain start associated with high quality software for the end user. However, associated with software testing has…

软件工程 · 计算机科学 2016-12-30 Ahmed Mateen , Marriam Nazir , Salman Afsar Awan

Complete tree search is a highly effective method for tackling MIP problems, and over the years, a plethora of branching heuristics have been introduced to further refine the technique for varying problems. Recently, portfolio algorithms…

人工智能 · 计算机科学 2013-07-19 Giovanni Di Liberto , Serdar Kadioglu , Kevin Leo , Yuri Malitsky

Testing and code reviews are known techniques to improve the quality and robustness of software. Unfortunately, the complexity of modern software systems makes it impossible to anticipate all possible problems that can occur at runtime,…

软件工程 · 计算机科学 2021-01-08 Moeen Ali Naqvi , Merve Astekin , Sehrish Malik , Leon Moonen

Substitution Boxes (S-boxes) are nonlinear objects often used in the design of cryptographic algorithms. The design of high quality S-boxes is an interesting problem that attracts a lot of attention. Many attempts have been made in recent…

神经与进化计算 · 计算机科学 2019-02-14 Domagoj Jakobovic , Stjepan Picek , Marcella S. R. Martins , Markus Wagner

GoTools is a program which solves life & death problems in the game of Go. This paper describes experiments using a Genetic Algorithm to optimize heuristic weights used by GoTools' tree-search. The complete set of heuristic weights is…

神经与进化计算 · 计算机科学 2007-05-23 Matthew Pratola , Thomas Wolf

Fairness is one of the socio-technical concerns that must be addressed in software systems. Considering the popularity of mobile software applications (apps) among a wide range of individuals worldwide, mobile apps with unfair behaviors and…

In information retrieval research; Genetic Algorithms (GA) can be used to find global solutions in many difficult problems. This study used different similarity measures (Dice, Inner Product) in the VSM, for each similarity measure we…

信息检索 · 计算机科学 2013-12-03 Eman Al Mashagba , Feras Al Mashagba , Mohammad Othman Nassar

Software Testing is a process to identify the quality and reliability of software, which can be achieved through the help of proper test data. However, doing this manually is a difficult task due to the presence of number of predicate nodes…

软件工程 · 计算机科学 2014-01-22 Yeresime Suresh , Santanu Ku. Rath

Optimal subset selection is an important task that has numerous algorithms designed for it and has many application areas. STPGA contains a special genetic algorithm supplemented with a tabu memory property (that keeps track of previously…

统计方法学 · 统计学 2017-02-28 Deniz Akdemir

The Android OS has become the most popular mobile operating system leading to a significant increase in the spread of Android malware. Consequently, several static and dynamic analysis systems have been developed to detect Android malware.…

密码学与安全 · 计算机科学 2017-05-19 Mohammed K. Alzaylaee , Suleiman Y. Yerima , Sakir Sezer

Diversity represents an important aspect of genetic programming, being directly correlated with search performance. When considered at the genotype level, diversity often requires expensive tree distance measures which have a negative…

神经与进化计算 · 计算机科学 2020-04-21 Bogdan Burlacu , Michael Affenzeller , Gabriel Kronberger , Michael Kommenda