Search Results - coverage testing) General Terms Algorithms
-
1
Protocol Update for large-scale genome and gene function analysis with the PANTHER classification system (v.14.0)
ISSN: 1754-2189, 1750-2799, 1750-2799Published: England Nature Publishing Group 01.03.2019Published in Nature protocols (01.03.2019)“…) terms, and sequences are assigned to PANTHER pathways. A suite of tools has been built to allow users to browse and query gene functions and analyze large-scale experimental data with a number of statistical tests…”
Get full text
Journal Article -
2
Using memetic algorithm for robustness testing of contract-based software models
ISSN: 0269-2821, 1573-7462Published: Dordrecht Springer Netherlands 01.02.2021Published in The Artificial intelligence review (01.02.2021)“… In this paper, we extend the HGAPSO approach into a cost-aware Memetic Algorithm (MA) by making small local changes through a proposed local search operator to optimize coverage score and testing costs…”
Get full text
Journal Article -
3
Many-Objective Feedback Evolutionary Algorithm for Optimizing the Software Test Suite
ISSN: 2661-8907, 2662-995X, 2661-8907Published: Singapore Springer Nature Singapore 01.01.2025Published in SN computer science (01.01.2025)“…In automated software testing; optimization of test suites is an important and challenging problem…”
Get full text
Journal Article -
4
Mathematics in Software Reliability and Quality Assurance
ISBN: 3036537996, 9783036538006, 3036538003, 9783036537993Published: Basel MDPI - Multidisciplinary Digital Publishing Institute 2022“… Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system…”
Get full text
eBook -
5
Confidence intervals for policy evaluation in adaptive experiments
ISSN: 1091-6490, 1091-6490Published: United States 13.04.2021Published in Proceedings of the National Academy of Sciences - PNAS (13.04.2021)“… In this paper, we present a class of test statistics that can handle these challenges. Our approach is to adaptively reweight the terms of an augmented inverse propensity…”
Get more information
Journal Article -
6
Automated test data generation for branch testing using incremental genetic algorithm
ISSN: 0256-2499, 0973-7677Published: New Delhi Springer India 01.09.2016Published in Sadhana (Bangalore) (01.09.2016)“…Cost of software testing can be reduced by automated test data generation to find a minimal set of data that has maximum coverage…”
Get full text
Journal Article -
7
Examining the role of machine learning methods for ANN prediction of landslide coverage area
ISSN: 1572-9893, 0343-2521, 1572-9893Published: Dordrecht Springer Netherlands 02.06.2025Published in GeoJournal (02.06.2025)“… To this end, in the present study, different machine learning algorithms, such as Random Forest (RF…”
Get full text
Journal Article -
8
A long-term reconstructed TROPOMI solar-induced fluorescence dataset using machine learning algorithms
ISSN: 2052-4463, 2052-4463Published: London Nature Publishing Group UK 20.07.2022Published in Scientific data (20.07.2022)“… in providing high spatial and temporal resolution SIF observations, but the short temporal coverage of the data records…”
Get full text
Journal Article -
9
Comparing Graph-Based Algorithms to Generate Test Cases from Finite State Machines
ISSN: 0923-8174, 1573-0727Published: New York Springer US 01.12.2019Published in Journal of electronic testing (01.12.2019)“…Model-Based Testing (MBT) is a well-known technique that employs formal models to represent reactive systems…”
Get full text
Journal Article -
10
Improved Ant Algorithms for Software Testing Cases Generation
ISSN: 2356-6140, 1537-744X, 1537-744XPublished: Cairo, Egypt Hindawi Publishing Corporation 01.01.2014Published in TheScientificWorld (01.01.2014)“…Existing ant colony optimization (ACO) for software testing cases generation is a very popular domain in software testing engineering…”
Get full text
Journal Article -
11
Multidrug-resistant tuberculosis surveillance and cascade of care in Madagascar: a five-year (2012–2017) retrospective study
ISSN: 1741-7015, 1741-7015Published: London BioMed Central 30.06.2020Published in BMC medicine (30.06.2020)“… (hereafter called presumptive MDR-TB cases) undergo drug susceptibility testing. This retrospective review had per aim to provide an update on the national MDR-TB epidemiology, assess and enhance programmatic performance and assess…”
Get full text
Journal Article -
12
Using search-based techniques for testing executable software models specified through graph transformations
ISSN: 1868-8071, 1868-808XPublished: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2020Published in International journal of machine learning and cybernetics (01.12.2020)“… In this paper, we focus on testing executable software models specified by a graph transformation system…”
Get full text
Journal Article -
13
Towards Optimal and Expressive Kernelization for d-Hitting Set
ISSN: 0178-4617, 1432-0541Published: Boston Springer US 01.09.2014Published in Algorithmica (01.09.2014)“…”. We provide a linear-time algorithm that, by finding sunflowers, transforms an instance of d - Hitting Set into an equivalent instance comprising at most O ( k d…”
Get full text
Journal Article Conference Proceeding -
14
Automated Test Data Generation Based on a Genetic Algorithm with Maximum Code Coverage and Population Diversity
ISSN: 2076-3417, 2076-3417Published: Basel MDPI AG 01.05.2021Published in Applied sciences (01.05.2021)“… As a part of this approach, we solve the urgent problem of automated generation of the optimal set of test data that provides maximum statement coverage of the code when it is used in the testing process…”
Get full text
Journal Article -
15
DNA Fountain enables a robust and efficient storage architecture
ISSN: 1095-9203Published: United States 03.03.2017Published in Science (American Association for the Advancement of Science) (03.03.2017)“… × 10 bytes in DNA oligonucleotides and perfectly retrieved the information from a sequencing coverage equivalent to a single tile of Illumina sequencing…”
Get more information
Journal Article -
16
Ebola optimization search algorithm for the enhancement of devops and cycle time reduction
ISSN: 2511-2104, 2511-2112Published: Singapore Springer Nature Singapore 01.03.2023Published in International journal of information technology (Singapore. Online) (01.03.2023)“… The interrelationship between the errors and failed tests even further complicates this process. We focus on improving the overall performance by minimizing the computational complexity in terms of runtime, error detection, and risk coverage…”
Get full text
Journal Article -
17
Empirical Comparison of Higher-Order Mutation Testing and Data-Flow Testing of C# with the Aid of Genetic Algorithm
ISSN: 2076-3417, 2076-3417Published: Basel MDPI AG 01.08.2023Published in Applied sciences (01.08.2023)“…Data-Flow and Higher-Order Mutation are white-box testing techniques. To our knowledge, no work has been proposed to compare data flow and Higher-Order Mutation…”
Get full text
Journal Article -
18
Gamma lifetimes and one-shot device testing analysis
ISSN: 0951-8320, 1879-0836Published: Oxford Elsevier Ltd 01.06.2014Published in Reliability engineering & system safety (01.06.2014)“… In the context of one-shot device testing, encountered commonly in testing devices such as munitions, rockets, and automobile air-bags, either left- or right-censored data are collected instead…”
Get full text
Journal Article -
19
Path Planning of Randomly Scattering Waypoints for Wafer Probing Based on Deep Attention Mechanism
ISSN: 2168-2216, 2168-2232Published: New York IEEE 01.01.2023Published in IEEE transactions on systems, man, and cybernetics. Systems (01.01.2023)“… The primary object of wafer probing is to find the defect grain on the wafer. After a full coverage check, there are always some suspected grains existing for further inspection…”
Get full text
Journal Article -
20
Software Refactoring Prediction Using SVM and Optimization Algorithms
ISSN: 2227-9717, 2227-9717Published: Basel MDPI AG 01.08.2022Published in Processes (01.08.2022)“…Test suite code coverage is often used as an indicator for test suite capability in detecting faults…”
Get full text
Journal Article

