Results 51 to 60 of about 5,519,312 (291)

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

A Smart Testing Model Based on Mining Semantic Relations

IEEE Access, 2023
Engaging personalization in the education process is considered one of the success factors for raising the educational process quality by altering the educational institutions’ vision for gaining more flexibility while attaining the institution ...
Alaa A. Qaffas, Amira M. Idrees, Ayman E. Khedr, Sherif A. Kholeif   +3 more
doaj   +1 more source

A taxonomy of model‐based testing approaches [PDF]

Software Testing, Verification and Reliability, 2011
SUMMARYModel‐based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. This paper discusses the process of MBT and defines a taxonomy that covers the key aspects of MBT approaches. It is intended to help with understanding the characteristics, similarities and differences of those approaches,
Mark Utting, Alexander Pretschner, Bruno Legeard   +2 more
openaire   +4 more sources

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

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

Model-based Testing: Next Generation Functional Software Testing [PDF]

, 2010
The idea of model-based testing is to use an explicit abstract model of a SUT and its environment to automatically derive tests for the SUT: the behavior of the model of the SUT is interpreted as the intended behavior of the SUT.
Legeard, Bruno
core   +1 more source

Model-Based Built-In Tests

Electronic Notes in Theoretical Computer Science, 2005
AbstractAssembling new software systems from prefabricated components as an attractive alternative to traditional software development practices is more and more investigated. Component technologies like CCM. Net or EJB are accompanied by model-based approaches like MDA.
Hans-Gerhard Groß, Ina Schieferdecker, George Din   +2 more
openaire   +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

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

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