Results 21 to 30 of about 3,601,648 (237)

A Time and Space-Efficient Compositional Method for Prime and Test Paths Generation

open access: yesIEEE Access, 2019
This paper investigates the problem of prime and test paths generation, which is an important problem in ensuring path coverage in software testing. Most existing methods for prime/test paths generation have little success in generating the set of all ...
Ebrahim Fazli, Mohsen Afsharchi
doaj   +1 more source

District-level strategies to control the HIV epidemic in Zimbabwe: a practical example of precision public health

open access: yesBMC Research Notes, 2020
Objective We conducted a descriptive cross-sectional study using survey and programme data to assess district-level performance along the HIV care cascade (HIV testing target achievement, linkage to ART and ART coverage) in order to formulate district ...
Richard Makurumidze   +6 more
doaj   +1 more source

RNNCon: Contribution Coverage Testing for Stacked Recurrent Neural Networks

open access: yesEntropy, 2023
Recurrent Neural Networks (RNNs) are applied in safety-critical fields such as autonomous driving, aircraft collision detection, and smart credit. They are highly susceptible to input perturbations, but little research on RNN-oriented testing techniques ...
Xiaoli Du   +3 more
doaj   +1 more source

Using ER Models for Microprocessor Functional Test Coverage Evaluation [PDF]

open access: yes, 2008
Test coverage evaluation is one of the most critical issues in microprocessor software-based testing. Whenever the test is developed in the absence of a structural model of the microprocessor, the evaluation of the final test coverage may become a major ...
Stefano Di Carlo   +9 more
core   +1 more source

Impact of lower co-payments on risk-reducing salpingo-oophorectomy and BRCA testing in Japan

open access: yesArchives of Public Health, 2023
Background In April 2020, insurance coverage for risk-reducing salpingo-oophorectomy (RRSO) for breast cancer patients with hereditary breast and ovarian cancer (HBOC) syndrome and BRCA testing were started in Japan.
Katsuyuki Konnai   +8 more
doaj   +1 more source

Insurance loss coverage and social welfare [PDF]

open access: yes, 2018
Restrictions on insurance risk classification may induce adverse selection, which is usually perceived as a bad outcome, both for insurers and for society.
Macdonald, Angus S.   +4 more
core   +1 more source

Addressing antiretroviral therapy-related diagnostic coverage gaps across South Africa using a programmatic approach

open access: yesAfrican Journal of Laboratory Medicine, 2018
Background: A major challenge facing South Africa is the concomitant HIV and tuberculosis epidemics. The National Health Laboratory Service provides testing for staging HIV-positive patients, monitoring patients on antiretroviral therapy (ART) and ...
Naseem Cassim   +3 more
doaj   +1 more source

Testing of Level Shifters in Multiple Voltage Designs [PDF]

open access: yes, 2007
The use of multiple voltages for different cores is becoming a widely accepted technique for efficient power management. Level shifters are used as interfaces between voltage domains.
Zain Ali, Noohul Basheer   +2 more
core   +2 more sources

Coverage-Guided Multi-entry Testing for Android Applications [PDF]

open access: yesJisuanji kexue yu tansuo
Improving the quality of Android applications is a significant challenge in the mobile device domain. Activity launch is one of the core functions of an application, and its correctness and reliability will directly affect the user experience and ...
FU Jie, GUO Fan
doaj   +1 more source

Fragmented software‐based self‐test technique for online intermittent fault detection in processors

open access: yesIET Computers & Digital Techniques, 2021
Software‐based self‐test (SBST) method is one of the widely used test techniques in processors. SBST scheme provides high fault coverage but incurs long detection latencies in case of intermittent faults (IFs) in online testing mode, due to large size ...
Vasudevan Matampu Suryasarman   +2 more
doaj   +1 more source

Home - About - Disclaimer - Privacy