Publication

Test Selection for Specification-Based Testing of Object-Oriented Software Based on Formal Specifications

Publications associées (109)

À propos
Confidentialité
Mentions légales

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search

Test Selection for Specification-Based Testing of Object-Oriented Software Based on Formal Specifications

Graph Chatbot

Chattez avec Graph Search

Match Normalization: Learning-Based Point Cloud Registration for 6D Object Pose Estimation in the Real World

Object-oriented modelling of advanced computer cooling solutions

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Edit Based Grading of SQL Queries

Features integrate along a motion trajectory when object integrity is preserved

Concerning the research “Material history of the built environment and the conservation project” (2008–2020), methodology and results

Concerning the research “Material history of the built environment and the conservation project” (2008–2020), methodology and results

Every Elementary Higher Topos Has A Natural Number Object

AIM 2019 Challenge on Image Extreme Super-Resolution: Methods and Results

Local Theory of the Insulating State

Features integrate along a motion trajectory when object integrity is preserved

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Local Theory of the Insulating State

Match Normalization: Learning-Based Point Cloud Registration for 6D Object Pose Estimation in the Real World

Every Elementary Higher Topos Has A Natural Number Object

AIM 2019 Challenge on Image Extreme Super-Resolution: Methods and Results

Object-oriented modelling of advanced computer cooling solutions

Edit Based Grading of SQL Queries

Concerning the research “Material history of the built environment and the conservation project” (2008–2020), methodology and results

Concerning the research “Material history of the built environment and the conservation project” (2008–2020), methodology and results