Benoit Baudry
Orcid: 0000-0002-4015-4640Affiliations:
- KTH Royal Institute of Technology, Stockholm, Sweden
- University of Rennes 1, France (former)
- INRIA, France (former)
According to our database1,
Benoit Baudry
authored at least 249 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
2023
IEEE Trans. Software Eng., November, 2023
Distributed Ledger Technol. Res. Pract., September, 2023
ACM Trans. Softw. Eng. Methodol., April, 2023
IEEE Trans. Software Eng., 2023
Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, 2023
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023
2022
IEEE Trans. Dependable Secur. Comput., 2022
API beauty is in the eye of the clients: 2.2 million Maven dependencies reveal the spectrum of client-API usages.
J. Syst. Softw., 2022
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
Proceedings of the 9th ACM Workshop on Moving Target Defense, 2022
2021
A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM.
IEEE Trans. Software Eng., 2021
Interpretation of Swedish Sign Language Using Convolutional Neural Networks and Transfer Learning.
SN Comput. Sci., 2021
Observability and chaos engineering on system calls for containerized applications in Docker.
Future Gener. Comput. Syst., 2021
Empir. Softw. Eng., 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the IEEE Secure Development Conference, 2021
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
2020
Leveraging metamorphic testing to automatically detect inconsistencies in code generator families.
Softw. Test. Verification Reliab., 2020
J. Syst. Softw., 2020
An approach and benchmark to detect behavioral changes of commits in continuous integration.
Empir. Softw. Eng., 2020
Proceedings of the Programming'20: 4th International Conference on the Art, 2020
Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks.
Proceedings of the Principles and Practice of Constraint Programming, 2020
re|Traces of Search: Exploring Human-Software Entanglements Through the Search Engine.
Proceedings of the DIS '20: Designing Interactive Systems Conference 2020, 2020
2019
Softw. Qual. J., 2019
Advanced and efficient execution trace management for executable domain-specific modeling languages.
Softw. Syst. Model., 2019
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack.
Empir. Softw. Eng., 2019
Empir. Softw. Eng., 2019
Suggestions on Test Suite Improvements with Automatic Infection and Propagation Analysis.
CoRR, 2019
CoRR, 2019
Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019
Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019
Proceedings of the 16th International Conference on Mining Software Repositories, 2019
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
Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019
Proceedings of the 6th ACM Workshop on Moving Target Defense, 2019
2018
Inf. Softw. Technol., 2018
Correctness attraction: a study of stability of software behavior under runtime perturbation.
Empir. Softw. Eng., 2018
Dagstuhl Reports, 2018
CoRR, 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
Proceedings of the Twelfth International Conference on Tangible, 2018
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
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the 11th IEEE International Conference on Software Testing, 2018
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018
Proceedings of the 4th International Genetic Improvement Workshop, 2018
2017
Automated extraction of product comparison matrices from informal product descriptions.
J. Syst. Softw., 2017
J. Syst. Softw., 2017
Genet. Program. Evolvable Mach., 2017
Test them all, is it worth it? A ground truth comparison of configuration sampling strategies.
CoRR, 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.
J. Syst. Softw., 2016
Inf. Softw. Technol., 2016
Practical minimization of pairwise-covering test configurations using constraint programming.
Inf. Softw. Technol., 2016
Empir. Softw. Eng., 2016
Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review.
Comput. Lang. Syst. Struct., 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
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
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
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
2015
Softw. Test. Verification Reliab., 2015
Int. J. Softw. Tools Technol. Transf., 2015
J. Object Technol., 2015
Assessing the use of slicing-based visualizing techniques on the understanding of large metamodels.
Inf. Softw. Technol., 2015
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond.
ACM Comput. Surv., 2015
CoRR, 2015
Comput. Lang. Syst. Struct., 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
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
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
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015
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
Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
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
Proceedings of the Engineering Secure Future Internet Services and Systems, 2014
Inf. Softw. Technol., 2014
Proceedings of the Second IEEE Working Conference on Software Visualization, 2014
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014
Proceedings of the 18th International Software Product Line Conference, 2014
Proceedings of the 18th International Software Product Lines Conference, 2014
Proceedings of the 18th International Software Product Line Conference, 2014
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
Proceedings of the Testing Software and Systems, 2014
Proceedings of the Model-Driven Engineering Languages and Systems, 2014
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
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
Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics, 2014
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014
Proceedings of the 2014 Software Evolution Week, 2014
2013
Automating the maintenance of nonfunctional system properties using demonstration-based model transformation.
J. Softw. Evol. Process., 2013
Inf. Softw. Technol., 2013
Int. J. Cooperative Inf. Syst., 2013
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
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
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
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.
Tech. Sci. Informatiques, 2012
Softw. Qual. J., 2012
Proceedings of the 16th International Software Product Line Conference, 2012
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
Proceedings of the Fifth IEEE International Workshop on Requirements Engineering and Law, 2012
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
Proceedings of the Model-Driven Security Workshop, 2012
Proceedings of the Model-Driven Security Workshop, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012
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
Softw. Test. Verification Reliab., 2011
Softw. Syst. Model., 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
Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the Eternal Systems - First International Workshop, 2011
2010
Tech. Sci. Informatiques, 2010
Proceedings of the Testing Software and Systems, 2010
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
Proceedings of the Software Composition - 8th International Conference, 2009
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2009
Proceedings of the Model Driven Engineering Languages and Systems, 2009
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
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009
Proceedings of the Theory and Practice of Model Transformations, 2009
2008
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
Proceedings of the Model Driven Engineering Languages and Systems, 2008
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
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008
Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling, 2008
Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, 2008
2007
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007
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
Proceedings of the ISSRE 2007, 2007
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007
2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
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
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the Model Driven Architecture, 2006
2005
Softw. Test. Verification Reliab., 2005
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005
2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004
2003
PhD thesis, 2003
J. Syst. Softw., 2003
Proceedings of the 9th IEEE International Software Metrics Symposium (METRICS 2003), 2003
2002
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
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002
2001
Proceedings of the 7th IEEE International Software Metrics Symposium (METRICS 2001), 2001
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001
2000
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000