Evidence Guiding Commercial Payer Coverage Criteria for Total Ankle Arthroplasty [PDF]
Foot & Ankle OrthopaedicsBackground: Total ankle arthroplasty (TAA), first developed as an alternative to ankle arthrodesis, has become an increasingly popular management option for end-stage ankle arthritis.
Jacob L. Kotlier BA +9 more
doaj +3 more sources
Concurrency coverage criteria for activity diagrams [PDF]
IET Software, 2021 Existing coverage criteria for Unified Modeling Language (UML)‐based system design have used mostly structural constructs and sequential‐behavioural coverage criteria. However, concurrent‐behavioural coverage criteria are not sufficiently explored.
Mahesh Shirole, Rajeev Kumar
doaj +2 more sources
A Criteria-based Assessment of the Coverage of Scopus and Web of Science [PDF]
Journal of Data and Information Science, 2019 The purpose of this study is to assess the coverage of the scientific literature in Scopus and Web of Science from the perspective of research evaluation.
Aksnes Dag W., Sivertsen Gunnar
doaj +3 more sources
How effective coverage has been used to measure quality in maternal and child health services in sub-Saharan Africa: a scoping review [PDF]
BMJ Public HealthObjectives This study aimed to evaluate how effective coverage has been used to measure healthcare quality of maternal and child health services in Sub-Saharan Africa (SSA).Design Scoping review.Data sources We systematically searched five indexed ...
Kwaku Poku Asante +4 more
doaj +2 more sources
BRTSRDM: Bi-Criteria Regression Test Suite Reduction based on Data Mining [PDF]
Journal of Artificial Intelligence and Data Mining, 2023 Regression testing reduction is an essential phase in software testing. In this step, the redundant and unnecessary cases are eliminated, whereas software accuracy and performance are not degraded.
Mohammad Reza Keyvanpour +2 more
doaj +1 more source
A Formal Validation Approach for XACML 3.0 Access Control Policy
Sensors, 2022 Access control systems represent a security mechanism to regulate the access to system resources, and XACML is the standard language for specifying, storing and deploying access control policies.
Carmine Caserio +2 more
doaj +1 more source
An evaluation of change-based coverage criteria [PDF]
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, 2011 Various coverage criteria are commonly used to assess the quality of test suites, but achieving full coverage according to these criteria is often impossible or impractical. Our research starts from the popular assumption that a disproportionate number of faults is likely to reside in recently changed code.
Fisher II, Marc +4 more
openaire +1 more source
Coverage Criteria for Model-Based Testing using Property Patterns [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated formalism based on patterns, and automatically translated into an ...
Kalou Cabrera Castillos +2 more
doaj +1 more source
Transition coverage based test case generation from state chart diagram
Journal of King Saud University: Computer and Information Sciences, 2022 State-based testing is a challenging area in the software testing field. This paper proposes a set of algorithms to generate test cases from a state chart diagram based on various coverage criteria.
Sonali Pradhan +2 more
doaj +1 more source
Patients’ access to rare neuromuscular disease therapies varies across US private insurers
Orphanet Journal of Rare Diseases, 2022 Background The extent to which different US private insurers require their enrollees to meet the same coverage criteria before gaining access to treatment is unclear.
Nikoletta M. Margaretos +3 more
doaj +1 more source