Results 261 to 270 of about 5,519,312 (291)

Recent Advances in Model-Based Testing

2016
This chapter gives an overview of the field of model-based testing (MBT), particularly the recent advances in the last decade. It gives a summary of the MBT process, the modeling languages that are currently used by the various communities who practice MBT, the technologies used to generate tests from models, and discusses best practices, such as ...
Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte   +5 more
openaire   +3 more sources

Model-based testing

Communications of the ACM, 2015
MBT has positive effects on efficiency and effectiveness, even if it only partially fulfills high expectations.
Robert V. Binder, Bruno Legeard, Anne Kramer   +2 more
openaire   +1 more source

Model-Based Testing of Quantum Computations

We summarize our paper Model-Based Testing of Quantum Computations which has been published in the proceedings of the 18th International Conference on Tests and Proofs (TAP 2024).
Malte Lochau, Ina Schaefer
openaire   +2 more sources

The Hubbard Model: A Computational Perspective

Annual Review of Condensed Matter Physics, 2022
Ming-Pu Qin, Thomas Schäfer, Sabine Andergassen   +2 more
exaly  

Model-Based Tests

2017
Building on Chapter 6, this chapter focuses on practical issues associated with implementing tests with UML. It demonstrates how we can define test cases efficiently using UML/P and which types of diagrams are suitable for doing so.
openaire   +1 more source

Gut Microbiota Regulate Motor Deficits and Neuroinflammation in a Model of Parkinson’s Disease

Cell, 2016
Timothy R Sampson, Justine W Debelius, Taren Thron   +2 more
exaly  

Density functionals and model Hamiltonians: Pillars of many-particle physics

Physics Reports, 2013
Vivaldo L Campo
exaly  

Studies on the mechanism of hydrolysis and polymerization of aluminum salts in aqueous solution: correlations between the “Core-links” model and “Cage-like” Keggin-Al13 model

Coordination Chemistry Reviews, 2004
Shuping Bi
exaly  

Model-Based Automated Accessibility Testing

Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility - ASSETS '15, 2015
BRAJNIK, Giorgio, Pighin, Chiara, Fabbro, Sara   +2 more
openaire   +2 more sources

Model Selection and Model Averaging in Phylogenetics: Advantages of Akaike Information Criterion and Bayesian Approaches Over Likelihood Ratio Tests

Systematic Biology, 2004
David Posada, Thomas R Buckley
exaly