Results 21 to 30 of about 3,601,648 (237)
A Time and Space-Efficient Compositional Method for Prime and Test Paths Generation
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
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
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]
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
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]
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
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]
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]
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
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

