Results 41 to 50 of about 5,521,647 (293)

Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing

, 2014
One of reasons preventing a wider uptake of model-based testing in the industry is the difficulty which is encountered by developers when trying to think in terms of properties rather than linear specifications.
Colombo, Christian, Micallef, Mark, Scerri, Mark   +2 more
core   +4 more sources

EQUIVALENCY EVIDENCE OF THE ENGLISH COMPETENCY TEST ACROSS DIFFERENT MODES: A RASCH ANALYSIS

TEFLIN Journal, 2023
The outbreak of the COVID-19 pandemic has transformed the educational landscape in a way unseen before. Educational institutions are navigating between offline and online learning worldwide.
Muhammad Yoga Prabowo, Sarah Rahmadian
doaj   +1 more source

Model-Based Testing of Safety Critical Real-Time Control Logic Software

, 2012
The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial settings and discusses technical details of usage of UniTESK model based ...
A. Grinevich, Alexander K. Petrenko, Alexey Khoroshilov, Anders Hessel, Bahareh Badban, Bertrand Meyer, Henrik Bohnenkamp, Holger Schlingloff, Hong Zhu, Igor Bourdonov, Igor Bourdonov, Igor Bourdonov, Igor Bourdonov, Margus Veanes, Moez Krichen, Vadim Mutilin, Yevgeny Gerlits   +16 more
core   +2 more sources

Testing-Based Forward Model Selection [PDF]

, 2018
This paper introduces and analyzes a procedure called Testing-Based Forward Model Selection (TBFMS) in linear regression problems. This procedure inductively selects covariates that add predictive power into a working statistical model before estimating ...
Kozbur, Damian
core   +1 more source

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source

Why and When Are Evidence‐Based Interventions Adopted in Paediatric Supportive Care? A Qualitative Exploration of the Determinants of Photobiomodulation Implementation

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie, Kara A. Gray‐Burrows, Peter F. Day, Bob Phillips, Carl A. Thompson   +4 more
wiley   +1 more source

A Taxonomy of model-based testing [PDF]

, 2006
Model-based testing relies on models of a system under test and/or its environment to derive test cases for the system. This paper provides an overview of the field.
Legeard, Bruno, Pretschner, Alexander, Utting, Mark   +2 more
core  

Syntactic Abstraction of B Models to Generate Tests [PDF]

, 2010
In a model-based testing approach as well as for the verification of properties, B models provide an interesting solution. However, for industrial applications, the size of their state space often makes them hard to handle. To reduce the amount of states,
Bué, Pierre-Christophe, Julliand, Jacques, Masson, Pierre-Alain, Stouls, Nicolas   +3 more
core   +4 more sources

Model-Based Testing of Probabilistic Systems [PDF]

Formal Aspects of Computing, 2016
AbstractThis work presents an executable model-based testing framework for probabilistic systems with non-determinism. We provide algorithms to automatically generate, execute and evaluate test cases from a probabilistic requirements specification. The framework connects input/output conformance-theory with hypothesis testing: our algorithms handle ...
Marcus Gerhold, Mariëlle Stoelinga
openaire   +5 more sources

Clinical Insights Into Hypercalcemia of Malignancy in Childhood

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Hypercalcemia of malignancy (HCM) is a rare but life‐threatening metabolic emergency in children that occurs in less than 1% of pediatric cancer cases, with a reported incidence ranging from 0.4% to 1.0% across different studies. While it is observed in 10%–20% of adult malignancies, pediatric HCM remains relatively uncommon.
Hüseyin Anıl Korkmaz
wiley   +1 more source