Publications associées à Model-based testing

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

An efficient deterministic test for Kloosterman sum zeros

Robert Granger

We propose a simple deterministic test for deciding whether or not a non-zero element

a \in \mathbb{F}_{2^n}

\mathbb{F}_{3^n}

is a zero of the corresponding Kloosterman sum over these fields, and analyse its complexity. The test seems to have been o ...

American Mathematical Society2014

Model-based testing

Graph Chatbot

Chattez avec Graph Search

Revisiting the Route Choice Problem: A Modeling Framework Based on Mental Representations

Revisiting the Route Choice Problem: A Modeling Framework Based on Mental Representations

Blood flow velocity field estimation via spatial regression with PDE penalization

Fully automatic assignment of small molecules' NMR spectra without relying on chemical shift predictions

Case study – Delta restoration at a steep river mouth

ECMA-407: A New 3D audio codec implementation up to NHK 22.2

An efficient deterministic test for Kloosterman sum zeros

Model-based automated testing of critical PLC programs

A methodology for creating sequential multi-period base-case scenarios for large data sets

Rigorous implementation of real-time systems – from theory to application

Blood flow velocity field estimation via spatial regression with PDE penalization

Case study – Delta restoration at a steep river mouth

Revisiting the Route Choice Problem: A Modeling Framework Based on Mental Representations

Fully automatic assignment of small molecules' NMR spectra without relying on chemical shift predictions

Revisiting the Route Choice Problem: A Modeling Framework Based on Mental Representations

Rigorous implementation of real-time systems – from theory to application

An efficient deterministic test for Kloosterman sum zeros

Model-based automated testing of critical PLC programs

ECMA-407: A New 3D audio codec implementation up to NHK 22.2

A methodology for creating sequential multi-period base-case scenarios for large data sets