Results 81 to 90 of about 5,519,312 (291)
Pediatric Blood &Cancer, EarlyView.ABSTRACT Arteriovenous malformations (AVMs) are rare, high‐flow, vascular anomalies that can occur either sporadically or as part of a genetic syndrome. AVMs can progress with serious morbidity and even mortality if left unchecked. Sirolimus is an mTOR inhibitor that is effective in low‐flow vascular malformations; however, its role in AVMs is unclear.
Will Swansson +3 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Objective To evaluate the diagnostic yield and utility of universal paired tumor–normal multigene panel sequencing in newly diagnosed pediatric solid and central nervous system (CNS) tumor patients and to compare the detection of germline pathogenic/likely pathogenic variants (PV/LPVs) against established clinical referral criteria for cancer ...
Natalie Waligorski +9 more
wiley +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
Atomic Action Refinement in Model Based Testing [PDF]
, 2007 In model based testing (MBT) test cases are derived from a specification of the system that we want to test. In general the specification is more abstract than the implementation.
Bijl, Machiel van der +2 more
core +1 more source
Target Directed Event Sequence Generation for Android Applications
, 2017 Testing is a commonly used approach to ensure the quality of software, of which model-based testing is a hot topic to test GUI programs such as Android applications (apps).
Wu, Tianyong +3 more
core +1 more source
A Formal TLS Handshake Model in LNT [PDF]
, 2018 Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed.
Bozic, Josip +3 more
core +3 more sources
A Symbolic Framework for Model-Based Testing [PDF]
, 2006 The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal model constituting its specification. An implementation relation for the formalism of Labelled Transition Systems is ioco.
Frantzen L., Tretmans J., Willemse T.
openaire +4 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Pulmonary dysfunction and sleep abnormalities are common in children with sickle cell disease (SCD) and are associated with worse clinical outcomes. Whether spirometry abnormalities are associated with polysomnography (PSG) findings remains unclear.
Ammar Saadoon Alishlash +4 more
wiley +1 more source
, 2019 This paper presents a model-based method for fusing data from multiple sensors with a hypothesis-test-based component for rejecting potentially faulty or otherwise malign data.
Horowitz, Roberto, Wright, Matthew A.
core +1 more source
Prevalence and Trajectory of Household Material Hardship Among Children With Advanced Cancer
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background/Objectives Families of children with advanced cancer living in poverty experience inferior outcomes including poor parent mental health and worse child quality of life. Household material hardship (HMH: food, housing, transportation, and/or utility insecurity) is a modifiable poverty exposure—and potential intervention target—that ...
Sarah Wright +13 more
wiley +1 more source