Search Results - coverage testing) General Terms Algorithms

Refine Results
  1. 1

    Protocol Update for large-scale genome and gene function analysis with the PANTHER classification system (v.14.0) by Mi, Huaiyu, Muruganujan, Anushya, Huang, Xiaosong, Ebert, Dustin, Mills, Caitlin, Guo, Xinyu, Thomas, Paul D

    ISSN: 1754-2189, 1750-2799, 1750-2799
    Published: England Nature Publishing Group 01.03.2019
    Published 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. 2

    Using memetic algorithm for robustness testing of contract-based software models by Bahrampour, Anvar, Rafe, Vahid

    ISSN: 0269-2821, 1573-7462
    Published: Dordrecht Springer Netherlands 01.02.2021
    Published 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. 3

    Many-Objective Feedback Evolutionary Algorithm for Optimizing the Software Test Suite by Jaiswal, Updesh Kumar, Prajapati, Amarjeet

    ISSN: 2661-8907, 2662-995X, 2661-8907
    Published: Singapore Springer Nature Singapore 01.01.2025
    Published 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. 4

    Mathematics in Software Reliability and Quality Assurance

    ISBN: 3036537996, 9783036538006, 3036538003, 9783036537993
    Published: 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. 5

    Confidence intervals for policy evaluation in adaptive experiments by Hadad, Vitor, Hirshberg, David A, Zhan, Ruohan, Wager, Stefan, Athey, Susan

    ISSN: 1091-6490, 1091-6490
    Published: United States 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. 6

    Automated test data generation for branch testing using incremental genetic algorithm by Manikumar, T, John Sanjeev Kumar, A, Maruthamuthu, R

    ISSN: 0256-2499, 0973-7677
    Published: New Delhi Springer India 01.09.2016
    Published 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. 7

    Examining the role of machine learning methods for ANN prediction of landslide coverage area by Dai, Zhenhua, Huang, Weiguo

    ISSN: 1572-9893, 0343-2521, 1572-9893
    Published: Dordrecht Springer Netherlands 02.06.2025
    Published 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. 8

    A long-term reconstructed TROPOMI solar-induced fluorescence dataset using machine learning algorithms by Chen, Xingan, Huang, Yuefei, Nie, Chong, Zhang, Shuo, Wang, Guangqian, Chen, Shiliu, Chen, Zhichao

    ISSN: 2052-4463, 2052-4463
    Published: London Nature Publishing Group UK 20.07.2022
    Published 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. 9

    Comparing Graph-Based Algorithms to Generate Test Cases from Finite State Machines by Mariano, Matheus Monteiro, de Souza, Érica Ferreira, Endo, André Takeshi, Vijaykumar, Nandamudi Lankalapalli

    ISSN: 0923-8174, 1573-0727
    Published: New York Springer US 01.12.2019
    Published 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. 10

    Improved Ant Algorithms for Software Testing Cases Generation by Yang, Shunkun, Xu, Jiaqi, Man, Tianlong

    ISSN: 2356-6140, 1537-744X, 1537-744X
    Published: Cairo, Egypt Hindawi Publishing Corporation 01.01.2014
    Published 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. 11

    Multidrug-resistant tuberculosis surveillance and cascade of care in Madagascar: a five-year (2012–2017) retrospective study by Knoblauch, Astrid M., Grandjean Lapierre, Simon, Randriamanana, Daniella, Raherison, Mamy Serge, Rakotoson, Andrianantenaina, Raholijaona, Bienvenue Solofomandimby, Ravaoarimanga, Masiarivony, Ravololonandriana, Pascaline Elisabeth, Rabodoarivelo, Marie-Sylvianne, Ratsirahonana, Orelys, Rakotomanana, Fanjasoa, Razafindranaivo, Turibio, Rasolofo, Voahangy, Rakotosamimanana, Niaina

    ISSN: 1741-7015, 1741-7015
    Published: London BioMed Central 30.06.2020
    Published 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. 12

    Using search-based techniques for testing executable software models specified through graph transformations by Bahrampour, Anvar, Rafe, Vahid

    ISSN: 1868-8071, 1868-808X
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 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. 13

    Towards Optimal and Expressive Kernelization for d-Hitting Set by van Bevern, René

    ISSN: 0178-4617, 1432-0541
    Published: Boston Springer US 01.09.2014
    Published 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. 14

    Automated Test Data Generation Based on a Genetic Algorithm with Maximum Code Coverage and Population Diversity by Avdeenko, Tatiana, Serdyukov, Konstantin

    ISSN: 2076-3417, 2076-3417
    Published: Basel MDPI AG 01.05.2021
    Published 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. 15

    DNA Fountain enables a robust and efficient storage architecture by Erlich, Yaniv, Zielinski, Dina

    ISSN: 1095-9203
    Published: United States 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. 16

    Ebola optimization search algorithm for the enhancement of devops and cycle time reduction by DileepKumar, S. R., Mathew, Juby

    ISSN: 2511-2104, 2511-2112
    Published: Singapore Springer Nature Singapore 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. 17

    Empirical Comparison of Higher-Order Mutation Testing and Data-Flow Testing of C# with the Aid of Genetic Algorithm by Abd-Elkawy, Eman H., Ahmed, Rabie

    ISSN: 2076-3417, 2076-3417
    Published: Basel MDPI AG 01.08.2023
    Published 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. 18

    Gamma lifetimes and one-shot device testing analysis by Balakrishnan, N., Ling, M.H.

    ISSN: 0951-8320, 1879-0836
    Published: Oxford Elsevier Ltd 01.06.2014
    Published 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. 19

    Path Planning of Randomly Scattering Waypoints for Wafer Probing Based on Deep Attention Mechanism by Shi, Haobin, Li, Jingchen, Liang, Meng, Hwang, Maxwell, Hwang, Kao-Shing, Hsu, Yun-Yu

    ISSN: 2168-2216, 2168-2232
    Published: New York IEEE 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. 20

    Software Refactoring Prediction Using SVM and Optimization Algorithms by Akour, Mohammed, Alenezi, Mamdouh, Alsghaier, Hiba

    ISSN: 2227-9717, 2227-9717
    Published: Basel MDPI AG 01.08.2022
    Published 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