English
Related papers

Related papers: Achievement of Minimized Combinatorial Test Suite …

200 papers

Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays, systems typically consist of multiple interacting…

Software Engineering · Computer Science 2019-04-16 Przemyslaw Daca , Thomas A. Henzinger , Willibald Krenn , Dejan Nickovic

Generating a test suite for a quantum program such that it has the maximum number of failing tests is an optimization problem. For such optimization, search-based testing has shown promising results in the context of classical programs. To…

Software Engineering · Computer Science 2022-04-20 Xinyi Wang , Paolo Arcaini , Tao Yue , Shaukat Ali

Combinatorial Testing (CT) is a potentially powerful testing technique, whereas its failure revealing ability might be dramatically reduced if it fails to handle constraints in an adequate and efficient manner. To ensure the wider…

Software Engineering · Computer Science 2019-08-08 Huayao Wu , Changhai Nie , Justyna Petke , Yue Jia , Mark Harman

Insecure default values in software settings can be exploited by attackers to compromise the system that runs the software. As a countermeasure, there exist security-configuration guides specifying in detail which values are secure.…

Software Engineering · Computer Science 2023-08-03 Patrick Stöckle , Michael Sammereier , Bernd Grobauer , Alexander Pretschner

Software testing relates to the process of accessing the functionality of a program against some defined specifications. To ensure conformance, test engineers often generate a set of test cases to validate against the user requirements.…

Software Engineering · Computer Science 2017-02-16 Kamal Z. Zamli , Fakhrud Din , Graham Kendall , Bestoun S. Ahmed

Clustering of web search result document has emerged as a promising tool for improving retrieval performance of an Information Retrieval (IR) system. Search results often plagued by problems like synonymy, polysemy, high volume etc.…

Information Retrieval · Computer Science 2015-03-24 Mansaf Alam , Kishwar Sadaf

Almost every software system provides configuration options to tailor the system to the target platform and application scenario. Often, this configurability renders the analysis of every individual system configuration infeasible. To…

Software Engineering · Computer Science 2016-02-17 Flávio Medeiros , Christian Kästner , Márcio Ribeiro , Rohit Gheyi , Sven Apel

Automatically generating test suites is intrinsically a multi-objective problem, as any of the testing targets (e.g, statements to execute or mutants to kill) is an objective on its own. Test suite generation has peculiarities that are…

Software Engineering · Computer Science 2019-01-08 Andrea Arcuri

Combinatorial optimization is one of the fundamental research fields that has been extensively studied in theoretical computer science and operations research. When developing an algorithm for combinatorial optimization, it is commonly…

Machine Learning · Computer Science 2023-08-30 Yuko Kuroki , Junya Honda , Masashi Sugiyama

Combinatorial Testing (CT) tools are essential to test properly a wide range of systems (train systems, Graphical User Interfaces (GUIs), autonomous driving systems, etc). While there is an active research community working on developing CT…

Software Engineering · Computer Science 2023-01-25 Carlos Ansotegui , Eduard Torres

Combinatorial testing is a widely adopted technique for efficiently detecting faults in software. The quality of combinatorial test generators plays a crucial role in achieving effective test coverage. Evaluating combinatorial test…

Software Engineering · Computer Science 2023-12-19 Andrea Bombarda , Angelo Gargantini

We formalize a problem we call combinatorial pair testing (CPT), which has applications to the identification of uncooperative or unproductive participants in pair programming, massively distributed computing, and crowdsourcing…

Data Structures and Algorithms · Computer Science 2013-05-02 David Eppstein , Michael T. Goodrich , Daniel S. Hirschberg

Modern software systems are expected to be secure and contain all the latest features, even when new versions of software are released multiple times an hour. Each system may include many interacting packages. The problem of installing…

Software Engineering · Computer Science 2018-11-15 Ran Ben Basat , Maayan Goldstein , Itai Segall

We present a local search framework to design and analyze both combinatorial algorithms and rounding algorithms for experimental design problems. This framework provides a unifying approach to match and improve all known results in…

Data Structures and Algorithms · Computer Science 2020-12-21 Lap Chi Lau , Hong Zhou

In this paper the approach to solving several combinatorial optimization problems using the local search and the genetic algorithm techniques is proposed. Initially this approach was developed in purpose to overcome some difficulties…

Neural and Evolutionary Computing · Computer Science 2010-04-30 Anton Bondarenko

The sine-cosine algorithm (SCA) is a new population-based meta-heuristic algorithm. In addition to exploiting sine and cosine functions to perform local and global searches (hence the name sine-cosine), the SCA introduces several random and…

Artificial Intelligence · Computer Science 2018-05-03 Kamal Z. Zamli , Fakhrud Din , Bestoun S. Ahmed , Miroslav Bures

In this paper, we intend to formulate a new metaheuristic algorithm, called Cuckoo Search (CS), for solving optimization problems. This algorithm is based on the obligate brood parasitic behaviour of some cuckoo species in combination with…

Optimization and Control · Mathematics 2020-07-17 Xin-She Yang , Suash Deb

The advent of quantum computing processors with possibility to scale beyond experimental capacities magnifies the importance of studying their applications. Combinatorial optimization problems can be one of the promising applications of…

Quantum Physics · Physics 2017-08-18 Ehsan Zahedinejad , Arman Zaribafiyan

Complex system design problems, such as those involved in aerospace engineering, require the use of numerically costly simulation codes in order to predict the performance of the system to be designed. In this context, these codes are often…

Optimization and Control · Mathematics 2024-02-14 Loic Brevault , Mathieu Balesdent

In this article the most fundamental decomposition-based optimization method - block coordinate search, based on the sequential decomposition of problems in subproblems - and building performance simulation programs are used to reason about…

Optimization and Control · Mathematics 2016-09-12 Gian Luca Brunetti