Results 91 to 100 of about 5,521,647 (293)
A Model Based Security Testing Method for Protocol Implementation
The Scientific World Journal, 2014 The security of protocol implementation is important and hard to be verified. Since the penetration testing is usually based on the experience of the security tester and the specific protocol specifications, a formal and automatic verification method is ...
Yu Long Fu, Xiao Long Xin
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Sickle cell disease (SCD) is a chronic, inherited hemoglobinopathy that requires frequent hospitalization for disease‐related complications. Canadian data on inpatient care is limited. This study compared caregiver‐reported hospital experiences of children with SCD to those with cystic fibrosis (CF), a chronic, autosomal recessive ...
Hailey M. Zwicker +11 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Osteosarcoma (OS) and Ewing sarcoma (EWS) are the most common primary bone cancers in children, but acute thrombosis is poorly characterized in this population. Our study evaluated the rates of venous thromboembolism (VTE) and associated risk factors in pediatric patients with bone sarcomas treated over a 10‐year period encompassing
Sarah Kappa +8 more
wiley +1 more source
Practitioners' best practices to Adopt, Use or Abandon Model-based Testing with Graphical models for Software-intensive Systems. [PDF]
Empir Softw Eng, 2022 Alégroth E +4 more
europepmc +1 more source
Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test
, 2018 For a considerable number of software projects, the creation of effective test cases is hindered by design documentation that is either lacking, incomplete or obsolete.
Ahmed, Bestoun S. +2 more
core +1 more source
Model-Based Testing for the Cloud
, 2010 Software in the cloud is characterised by the need to be highly adaptive and continuously available. Incremental changes are applied to the deployed system and need to be tested in the field. Different configurations need to be tested. Higher quality standards regarding both functional and non-functional properties are put on those systems, as they ...
Bertolino, Antonia +8 more
openaire +4 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 Background This study investigated how neighborhood‐level social determinants of health (SDOH), including redlining and neurological risk, interact to influence cognitive outcomes in children treated for brain tumors (CTBT). Methods A retrospective chart review of 161 CTBT aged 5–17 was conducted.
Alannah R. Srsich +5 more
wiley +1 more source
A search-based technique for testing from extended finite state machine model [PDF]
, 2009 Extended finite state machines (EFSMs), and languages such as state-charts that are similar to EFSMs, are widely used to model state-based systems. When testing from an EFSM M it is common to aim to produce a set of test sequences (input sequences) that ...
Hierons, RM, Kalaji, AS, Swift, S
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with acute lymphoblastic leukemia (ALL) are at risk of severe outcomes from SARS‐CoV‐2 (SCV2). In the post‐pandemic context, where most children have been infected with SCV2, there are limited data on whether vaccination remains beneficial in children with ALL.
Janna R. Shapiro +11 more
wiley +1 more source