Results 21 to 30 of about 422,930 (261)

Generalized Coverage Criteria for Combinatorial Sequence Testing

IEEE Transactions on Software Engineering, 2023
We present a new model-based approach for testing systems that use sequences of actions and assertions as test vectors. Our solution includes a method for quantifying testing quality, a tool for generating high-quality test suites based on the coverage criteria we propose, and a framework for assessing risks.
Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss   +4 more
openaire   +2 more sources

Post-bariatric contour deformity correction: an endeavour to establish objective criteria nationally

Swiss Medical Weekly, 2022
BACKGROUND: A marked increase in bariatric surgery has led to higher numbers of patients with contour deformities after massive weight loss seeking plastic surgical correction.
Jérémy Brühlmann, Ioana Lese, Adriaan O. Grobbelaar, Claudia Fischlin , Mihai Constantinescu, Radu Olariu   +5 more
doaj   +1 more source

The Ethical Framework for Policy-making of Universal Health Coverage: A Systematic Review [PDF]

Journal of Clinical and Diagnostic Research, 2020
Introduction: Countries have set a central policy to achieve universal health coverage by 2030. Resource constraint and the variety of ways to fulfill the purposes of the universal health coverage, however, have led policymakers to face ethical ...
Ali Farzaneh, Hamid Ravaghi, Abolghasem Fanaei   +2 more
doaj   +1 more source

Toward Rigorous Object-Code Coverage Criteria [PDF]

2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), 2017
Object-branch coverage (OBC) is often used as a measure of the thoroughness of tests suites, augmenting or substituting source-code based structural criteria such as branch coverage and modified condition/decision coverage (MC/DC). In addition, with the increasing use of third-party components for which source-code access may be unavailable, robust ...
Byun, Taejoon, Sharma, Vaibhav, Rayadurgam, Sanjai, McCamant, Stephen, Heimdahl, Mats   +4 more
openaire   +1 more source

Moving towards Universal Coverage of Direct-Acting Antiviral Therapies for Hepatitis C Infection in Canada: An Environmental Scan of Canadian Provinces and International Jurisdictions

Journal of Pharmacy & Pharmaceutical Sciences, 2018
Background: Direct-acting antivirals (DAAs) have become the standard treatment for patients with chronic hepatitis C infections because of their high cure rates and favourable side effect profiles; however, access to this new class of agents has been ...
Samantha Myers, Gurleen Khosa, I fan Kuo, Donica Janzen, Silvia Alessi-Severini   +4 more
doaj   +1 more source

Beyond the Hernia Repair: A Review of the Insurance Coverage of Critical Adjuncts in Abdominal Wall Reconstruction

Plastic and Reconstructive Surgery, Global Open, 2020
Background:. The prevalence of complex abdominal wall defects continues to rise, which necessitates increasingly sophisticated medical and surgical management.
Hani I. Naga, BA, Joseph A. Mellia, BA, Fortunay Diatta, BA, BS, Sammy Othman, BA, Viren Patel, BS, Jeffrey E. Janis, MD, B. Todd Heniford, MD, John P. Fischer, MD, MPH   +7 more
doaj   +1 more source

CRITERIA FOR SELECTION OF THE REINSURANCE COVERAGE FOR EXCESS OF LOSS TREATY

Вісник Київського національного університету імені Тараса Шевченка. Серія Економіка, 2014
Optimal reinsurance coverage, selected by the cedent, influenced by a number of internal, external, objective and subjective factors. Their accounting or ignoring depends on the individual conditions of the insurer, knowledge of the specific risk ...
V. Veretnov
doaj   +1 more source

Developing an Automated Model-Based Software Testing Tool From the Design Phase

IEEE Access
Software testing involves a number of labor-intensive tasks that, to save resources, should be automated. Model-based software testing is one of the most widely used methods of software quality assurance in the business world is model-based software ...
Rasha Gh. Alsarraj, Atica M. Altaie, Esra Zuhair Majeed   +2 more
doaj   +1 more source

Structural Coverage Criteria for Testing SQL Queries

J. Univers. Comput. Sci., 2009
JUCS - Journal of Universal Computer Science Volume Nr.
Suárez-Cabal,M., Tuya,Javier
openaire   +2 more sources

CSEFuzz: Fuzz Testing Based on Symbolic Execution

IEEE Access, 2020
Fuzz testing has been successful in finding defects of various software packages. These defects include file parsing, image processing, Internet browsers, and network protocols.
Zhangwei Xie, Zhanqi Cui, Jiaming Zhang, Xiulei Liu, Liwei Zheng   +4 more
doaj   +1 more source