Benoit Baudry

According to our database1, Benoit Baudry authored at least 181 papers between 2000 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Modeling variability in the video domain: language and experience report.
Software Quality Journal, 2019

Advanced and efficient execution trace management for executable domain-specific modeling languages.
Software and Systems Modeling, 2019

A comprehensive study of pseudo-tested methods.
Empirical Software Engineering, 2019

Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack.
Empirical Software Engineering, 2019

Automatic test improvement with DSpot: a study with ten mature open-source projects.
Empirical Software Engineering, 2019

The emergence of software diversity in maven central.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

The maven dependency graph: a temporal graph-based representation of maven central.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Morellian Analysis for Browsers: Making Web Authentication Stronger with Canvas Fingerprinting.
Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2019

Approximate loop unrolling.
Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

2018
Omniscient debugging for executable DSLs.
Journal of Systems and Software, 2018

User interface design smell: Automatic detection and refactoring of Blob listeners.
Information & Software Technology, 2018

Automatic Quality Assurance and Release (Dagstuhl Seminar 18122).
Dagstuhl Reports, 2018

Hiding in the Crowd: an Analysis of the Effectiveness of Browser Fingerprinting at Large Scale.
Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018

Code{strata} Sonifying Software Complexity.
Proceedings of the Twelfth International Conference on Tangible, 2018

Reverse engineering language product lines from existing DSL variants.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Detection and analysis of behavioral T-patterns in debugging activities.
Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Exhaustive Exploration of the Failure-Oblivious Computing Search Space.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Images of code: lossy compression for native instructions.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Correctness attraction: a study of stability of software behavior under runtime perturbation.
Proceedings of the 40th International Conference on Software Engineering, 2018

A spoonful of DevOps helps the GI go down.
Proceedings of the 4th International Genetic Improvement Workshop, 2018

2017
Automated extraction of product comparison matrices from informal product descriptions.
Journal of Systems and Software, 2017

Online Genetic Improvement on the java virtual machine with ECSELR.
Genetic Programming and Evolvable Machines, 2017

FPRandom: Randomizing Core Browser Objects to Break Advanced Device Fingerprinting Techniques.
Proceedings of the Engineering Secure Software and Systems - 9th International Symposium, 2017

2016
ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems.
Journal of Systems and Software, 2016

B-Refactoring: Automatic test code refactoring to improve dynamic analysis.
Information & Software Technology, 2016

Practical minimization of pairwise-covering test configurations using constraint programming.
Information & Software Technology, 2016

Breathing ontological knowledge into feature model synthesis: an empirical study.
Empirical Software Engineering, 2016

Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review.
Computer Languages, Systems & Structures, 2016

Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Beauty and the Beast: Diverting Modern Web Browsers to Build Unique Browser Fingerprints.
Proceedings of the IEEE Symposium on Security and Privacy, 2016

NOTICE: A Framework for Non-Functional Testing of Compilers.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

libmask: Protecting browser JIT engines from the devil in the constants.
Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

Automatic microbenchmark generation to prevent dead code elimination and constant folding.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Automatic non-functional testing of code generators families.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

Automatic detection of GUI design smells: the case of Blob listener.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

2015
Special issue for the ICST 2013 conference.
Softw. Test., Verif. Reliab., 2015

Towards an automation of the mutation analysis dedicated to model transformation.
Softw. Test., Verif. Reliab., 2015

Generating counterexamples of model-based software product lines.
STTT, 2015

Kompren: modeling and generating model slicers.
Software and Systems Modeling, 2015

Multitier Diversification in Web-Based Software Applications.
IEEE Software, 2015

Using Slicing to Improve the Performance of Model Invariant Checking.
Journal of Object Technology, 2015

Assessing the use of slicing-based visualizing techniques on the understanding of large metamodels.
Information & Software Technology, 2015

The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond.
ACM Comput. Surv., 2015

An analysis of metamodeling practices for MOF and OCL.
Computer Languages, Systems & Structures, 2015

Assessing product line derivation operators applied to Java source code: an empirical study.
Proceedings of the 19th International Conference on Software Product Line, 2015

Supporting efficient and advanced omniscient debugging for xDSMLs.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

MatrixMiner: a red pill to architect informal product descriptions in the matrix.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Product lines can jeopardize their trade secrets.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Discovering model transformation pre-conditions using automatically generated test models.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

On model-based testing advanced GUIs.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Classifying and Qualifying GUI Defects.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Mitigating Browser Fingerprint Tracking: Multi-level Reconfiguration and Diversification.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

A Novelty Search Approach for Automatic Test Data Generation.
Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Embedding Adaptivity in Software Systems using the ECSELR framework.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

A Novelty Search-based Test Data Generator for Object-oriented Programs.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

A Generative Approach to Define Rich Domain-Specific Trace Metamodels.
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

Emergent Robustness in Software Systems through Decentralized Adaptation: an Ecologically-Inspired ALife Approach.
Proceedings of the Thirteenth European Conference Artificial Life, 2015

2014
Engineering Trust-Awareness and Self-adaptability in Services and Systems.
Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

Model-based testing of global properties on large-scale distributed systems.
Information & Software Technology, 2014

Globalizing Modeling Languages.
IEEE Computer, 2014

Slicing-Based Techniques for Visualizing Large Metamodels.
Proceedings of the Second IEEE Working Conference on Software Visualization, 2014

Comparing or configuring products: are we getting the right ones?
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

Moving toward product line engineering in a nuclear industry consortium.
Proceedings of the 18th International Software Product Line Conference, 2014

WebFML: synthesizing feature models everywhere.
Proceedings of the 18th International Software Product Lines Conference, 2014

Customization and 3D printing: a challenging playground for software product lines.
Proceedings of the 18th International Software Product Line Conference, 2014

ViViD: a variability-based tool for synthesizing video sequences.
Proceedings of the 18th International Software Product Lines Conference, 2014

INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

An Approach to Derive Usage Models Variants for Model-Based Testing.
Proceedings of the Testing Software and Systems, 2014

Scalable Armies of Model Clones through Data Sharing.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Towards Scalable Multidimensional Execution Traces for xDSMLs.
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Automating the formalization of product comparison matrices.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

A variability-based testing approach for synthesizing video sequences.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Tailored source code transformations to synthesize computationally diverse program variants.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

"May the fork be with you": novel metrics to analyze collaboration on GitHub.
Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics, 2014

Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

DIVERSIFY: Ecology-inspired software evolution for diversity emergence.
Proceedings of the 2014 Software Evolution Week, 2014

2013
Automated measurement of models of requirements.
Software Quality Journal, 2013

Automating the maintenance of nonfunctional system properties using demonstration-based model transformation.
Journal of Software: Evolution and Process, 2013

Usage and testability of AOP: An empirical study of AspectJ.
Information & Software Technology, 2013

Soa Antipatterns: an Approach for their Specification and Detection.
Int. J. Cooperative Inf. Syst., 2013

Support for reverse engineering and maintaining feature models.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Generating counterexamples of model-based software product lines: an exploratory study.
Proceedings of the 17th International Software Product Line Conference, 2013

Reifying Concurrency for Executable Metamodeling.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Empirical evidence of large-scale diversity in API usage of object-oriented software.
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

From comparison matrix to Variability Model: The Wikipedia case study.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Towards Trust-Aware and Self-adaptive Systems.
Proceedings of the Trust Management VII - 7th IFIP WG 11.11 International Conference, 2013

2012
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués.
Technique et Science Informatiques, 2012

Pairwise testing for software product lines: comparison of two approaches.
Software Quality Journal, 2012

Reusable model transformations.
Software and Systems Modeling, 2012

Modeling modeling modeling.
Software and Systems Modeling, 2012

An approach for semantic enrichment of software product lines.
Proceedings of the 16th International Software Product Line Conference, 2012

Bridging the Chasm between Executable Metamodeling and Models of Computation.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

Toward multilevel textual requirements traceability using model-driven engineering and information retrieval.
Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012

Defining and retrieving themes in nuclear regulations.
Proceedings of the Fifth IEEE International Workshop on Requirements Engineering and Law, 2012

Impact of footprinting on model quality: An experimental evaluation.
Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012

Managing Execution Environment Variability during Software Testing: An Industrial Experience.
Proceedings of the Testing Software and Systems, 2012

Toward a model-driven access-control enforcement mechanism for pervasive systems.
Proceedings of the Model-Driven Security Workshop, 2012

Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria.
Proceedings of the Model-Driven Security Workshop, 2012

Formally Defining and Iterating Infinite Models.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

A Vision for Behavioural Model-Driven Validation of Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Minimum Pairwise Coverage Using Constraint Programming Techniques.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Searching the Boundaries of a Modeling Space to Test Metamodels.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Specification and Detection of SOA Antipatterns.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

A categorical model of model merging and weaving.
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Leveraging variability modeling for multi-dimensional model-driven software product lines.
Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

2011
An approach for testing pointcut descriptors in AspectJ.
Softw. Test., Verif. Reliab., 2011

Model-driven generative development of measurement software.
Software and Systems Modeling, 2011

Guest Editorial for Special Section on Mutation Testing.
Information & Software Technology, 2011

Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering.
Proceedings of the First Model-Driven Requirements Engineering Workshop, 2011

Empirical Evaluation of the Conjunct Use of MOF and OCL.
Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, 2011

Modeling Model Slicers.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Tailored Shielding and Bypass Testing of Web Applications.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Model Driven Mutation Applied to Adaptative Systems Testing.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Pairwise testing of dynamic composite services.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Estimating footprints of model operations.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Requirements-Driven Runtime Reconfiguration for Security.
Proceedings of the Eternal Systems - First International Workshop, 2011

2010
Construction de tests qualifiés de transformations de modèles.
Technique et Science Informatiques, 2010

Towards Domain-specific Model Editors with Automatic Model Completion.
Simulation, 2010

Barriers to systematic model transformation testing.
Commun. ACM, 2010

Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases.
Proceedings of the Testing Software and Systems, 2010

Variability Modeling and QoS Analysis of Web Services Orchestrations.
Proceedings of the IEEE International Conference on Web Services, 2010

Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies.
Proceedings of the Third International Conference on Software Testing, 2010

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines.
Proceedings of the Third International Conference on Software Testing, 2010

Question-learn-test-feedback pattern to test emerging software construction paradigms.
, 2010

2009
Qualifying input test data for model transformations.
Software and Systems Modeling, 2009

A Framework for Testing Model Composition Engines.
Proceedings of the Software Composition, 8th International Conference, SC 2009, Zurich, 2009

Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2009

Meta-model Pruning.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Modeling Modeling.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Transforming and Selecting Functional Test Cases for Security Policy Testing.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

AjMutator: A Tool for the Mutation Analysis of AspectJ Pointcut Descriptors.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Inquiring the usage of aspect-oriented programming: An empirical study.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Automatic Model Generation Strategies for Model Transformation Testing.
Proceedings of the Theory and Practice of Model Transformations, 2009

2008
Mutating DAC and MAC Security Policies: A Generic Metamodel Based Approach.
Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008

A Model-Based Framework for Security Policy Specification, Deployment and Testing.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Test-Driven Assessment of Access Control in Legacy Applications.
Proceedings of the First International Conference on Software Testing, 2008

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing.
Proceedings of the First International Conference on Software Testing, 2008

A Generic Metamodel For Security Policies Mutation.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Model transformation testing: oracle issue.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Improving maintenance in AOP through an interaction specification framework.
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

Composing Multi-view Aspect Models.
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

Regression test selection when evolving software with aspects.
Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, 2008

2007
Domain-Specific Model Editors with Model Completion.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

A Generic Approach for Automatic Model Composition.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Model-Driven Engineering for Software Migration in a Large Industrial Context.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Testing Security Policies: Going Beyond Functional Testing.
Proceedings of the ISSRE 2007, 2007

Providing Support for Model Composition in Metamodels.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Producing a Global Requirement Model from Multiple Requirement Specifications.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Model-Driven Engineering for Requirements Analysis.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006
Design by Contract to Improve Software Vigilance.
IEEE Trans. Software Eng., 2006

Reusable MDA Components: A Testing-for-Trust Approach.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Report on the 3rd MoDeVa Workshop - Model Design and Validation.
Proceedings of the Models in Software Engineering, 2006

Test d'intégration d'un système à objets - planification de l'ordre d'intégration.
Proceedings of the Actes des journéees Langages et Modèles à Objets, 2006

Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Improving test suites for efficient fault localization.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Mutation Analysis Testing for Model Transformations.
Proceedings of the Model Driven Architecture, 2006

2005
From genetic to bacteriological algorithms for mutation-based testing.
Softw. Test., Verif. Reliab., 2005

Automatic Test Case Optimization: A Bacteriologic Algorithm.
IEEE Software, 2005

Measuring design testability of a UML class diagram.
Information & Software Technology, 2005

Report on the 2nd Workshop on Model Development and Validation - MoDeVa.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

2004
From Testing to Diagnosis: An Automated Approach.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

A UML-Based Concept for High Concurrency: The Real-Time Object.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

2003
From diagnosis to diagnosability: axiomatization, measurement and application.
Journal of Systems and Software, 2003

Measuring and Improving Design Patterns Testability.
Proceedings of the 9th IEEE International Software Metrics Symposium (METRICS 2003), 2003

2002
Testability Analysis of a UML Class Diagram.
Proceedings of the 8th IEEE International Software Metrics Symposium (METRICS 2002), 2002

Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2001
Robustness and Diagnosability of OO Systems Designed by Contracts.
Proceedings of the 7th IEEE International Software Metrics Symposium (METRICS 2001), 2001

Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

2000
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification.
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

Building Trust into OO Components Using a Genetic Analogy.
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000


  Loading...