Knowledge Tree

researcher / Benoit Baudry

Benoit Baudry

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Assemblage testable et validation de composants

Directed Thesis:

Dynamic program analysis for suggesting test improvements to developers

Contributions on approximate computing techniques and how to measure them

Browser Fingerprinting : Exploring Device Diversity to Augment Authentification and Build Client-Side Countermeasures

Automatic non-functional testing and tuning of configurable generators

Leveraging software product lines engineering in the construction of domain specific languages

Metamodels and feature models : complementary approaches to formalize product comparison matrices

Interactive demand-shifting in the context of domestic micro-generation

Mining and modeling variability from natural language documents : two case studies

Execution trace management to support dynamic V&V for executable DSMLs

Testing and maintenance of graphical user interfaces

Evolution, testing and configuration of variability systems intensive

Test basé sur les modèles appliqué aux lignes de produits

Leveraging model-based product lines for systems engineering

INCREMENT : une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté

Approche à contraintes pour la sélection de Covering Array

Assistance à la méta-modélisation précise