Model-based testing

Applied sciences
Génie informatique
Développement de logiciel
Software development process

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (27)

Prediction of hydro-acoustic resonances in hydropower plants by a new approach based on the concept of swirl number

François Avellan, Christophe Nicolet, Arthur Tristan Favrel, Christian Landry, Sébastien Alligné, Loïc Andolfatto, Joao Gomes Pereira Junior

Hydropower plant units operating in off-design conditions are subject to cavitation flow instabilities, potentially inducing hydro-acoustic resonances under certain conditions. They can be predicted by using one-dimensional numerical models of hydropower p ...

Taylor & Francis Ltd2019

Towards a coherent database of thermal boundary conductance at metal/dielectric interfaces

Ludger Weber, Maïté Blank

The thermal boundary conductance (TBC) of metal/dielectric couples was measured for a large variety of metals on silicon, sapphire, and diamond using time domain thermoreflectance and compared to data previously obtained on diamond. In the case of silicon, ...

2019

Model testing beyond the scope of International Standards: an outlook

François Avellan, Loïc Andolfatto

The roles of hydropower plants within the energy system has been evolving during the last two decades. The potential to provide ancillary services to the grid is often harnessed, leading to a major change in hydropower plants operations. Ancillary services ...

2018

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

George Candea, Vitaly Chipounov, Bin Zhang, Chao Feng

Coverage-based fuzz testing and dynamic symbolic execution are both popular program testing techniques. However, on their own, both techniques suffer from scalability problems when considering the complexity of modern software. Hybrid testing methods attem ...

INST ENGINEERING TECHNOLOGY-IET2018

How little does non-exact recovery help in group testing?

Volkan Cevher, Jonathan Mark Scarlett

We consider the group testing problem, in which one seeks to identify a subset of defective items within a larger set of items based on a number of tests. We characterize the information-theoretic performance limits in the presence of list decoding, in whi ...

Ieee2017

Constraint-Driven Design with Combinatorial Equilibrium Modelling

Corentin Jean Dominique Fivet, Pierluigi D'Acunto

This paper presents an extension to the Combinatorial Equilibrium Modelling (CEM) design framework. So far, CEM gives the possibility to generate and explore multiple spatial equilibrium solutions in the early conceptual design phase. In addition to the fo ...

2017

Limits on Support Recovery With Probabilistic Models: An Information-Theoretic Framework

Volkan Cevher, Jonathan Mark Scarlett

The support recovery problem consists of determining a sparse subset of a set of variables that is relevant in generating a set of observations, and arises in a diverse range of settings, such as compressive sensing, subset selection in regression, and gro ...

Institute of Electrical and Electronics Engineers2017

Page 2 sur 2