Results 11 to 20 of about 422,930 (261)
Impact of various System Design Parameters on Coverage in Heterogeneous Cellular Networks
JISR on Computing, 2023 Recent cellular systems are moving towards heterogeneous cellular networks (HCNs) that consist of a mixture of miniature cells and legacy macro-cells to meet the requirements of wireless data traffic, owing to the immense amount of multi-purpose mobile ...
M. Mujtaba Shaikh +5 more
doaj +1 more source
Obstacle Avoidance System for Autonomous Vehicles
JISR on Computing, 2023 Recent cellular systems are moving towards heterogeneous cellular networks (HCNs) that consist of a mixture of miniature cells and legacy macro-cells to meet the requirements of wireless data traffic, owing to the immense amount of multi-purpose mobile ...
Muhammad Suleman Shafqat +2 more
doaj +1 more source
Testing coverage criteria for optimized deep belief network with search and rescue
Journal of Big Data, 2021 A new data-driven programming model is defined by the deep learning (DL) that makes the internal structure of a created neuron system over a fixed of training data. DL testing structure only depends on the data labeling and manual group.
Kiran Jammalamadaka, Nikhat Parveen
doaj +1 more source
Gates Open Research, 2021 Background: The objective of the study was to assess compliance of the WHO and UNICEF estimates of national immunization coverage (WUENIC) against the 18 criteria of the Guidelines for Accurate and Transparent Health Estimates Reporting (GATHER) that ...
M. Carolina Danovaro-Holliday +4 more
doaj +1 more source
Taming Coverage Criteria Heterogeneity with LTest [PDF]
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017 Automated white-box testing is a major issue in software engineering. In previous work, we introduced LTest, a generic and integrated toolkit for automated white-box testing of C programs. LTest supports a broad class of coverage criteria in a unified way (through the label specification mechanism) and covers most major parts of the testing process ...
Michaël Marcozzi +4 more
openaire +1 more source
USING FORMAL METHODS FOR TEST CASE GENERATION ACCORDING TO TRANSITION-BASED COVERAGE CRITERIA [PDF]
Jordanian Journal of Computers and Information Technology, 2015 Formal methods play an important role in increasing the quality, reliability, robustness and effectiveness of software. Also the uses of formal methods, especially in safety-critical systems, help in the early detection of software errors and failures ...
Ahmad A. Saifan, Wafa Bani Mustafa
doaj +1 more source
Theoretical Analysis and Empirical Evaluation of Coverage Indictors for Closed Source APP Testing
IEEE Access, 2019 The number of mobile applications has increased geometrically nowadays, but how to ensure their quality and conduct adequate and effective testing is still a challenge for developers.
Sen Yang, Song Huang, Zhanwei Hui
doaj +1 more source
JRSM Open, 2023 Objectives To critically appraise the quality of the studies underpinning the Global Burden of Disease (GBD) 2017 estimates for Major Depressive Disorder (MDD) with respect to i) the GBD 2017 inclusion criteria and ii) population coverage.
R. Lyus +4 more
doaj +1 more source
Factors affecting sanitation coverage in three income levels and potential toward achieving SDG 6.2
Water Policy, 2023 An equitable sanitation coverage promotes sustainability, economic prosperity, and public health protection. This study examined factors affecting sanitation coverage and the potential of selected countries across three income levels (Low-Income, Lower ...
Abayomi Oluwatobiloba Bankole +7 more
doaj +1 more source
Coverage Criteria for Set-Based Specifications
Revista de Informática Teórica e Aplicada, 2015 Model-based testing (MBT) studies how test cases are generated from a model of the system under test (SUT). Many MBT methods rely on building an automaton from the model and then they generate test cases by covering the automaton with different path coverage criteria.
Cristiá, Maximiliano +2 more
openaire +5 more sources