Selected publications

2016
[16] Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding (Marcelino Rodriguez-Cancio, Benoit Combemale, Benoit Baudry), In Proc. of the Int. Conf. on Automated Software Engineering (ASE 2016) , 2016. [bibtex] [pdf]
[15] Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints (Pierre Laperdrix, Walter Rudametkin, Benoit Baudry), In Proc. of the Symp. on Security and Privacy (S&P), 2016. [bibtex] [pdf]
[14] B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis (Jifeng Xuan, Benoit Cornu, Matias Martinez, Benoit Baudry, Lionel Seinturier, Martin Monperrus), In Information and Software Technology, Elsevier, 2016. [bibtex] [pdf]
2015
[13] The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond (Benoit Baudry, Martin Monperrus), In ACM Computing Survey, volume 48, 2015. [bibtex] [pdf]
[12] Multi-tier diversification in Web-based software applications (Simon Allier, Olivier Barais, Benoit Baudry, Johann Bourcier, Erwan Daubert, Franck Fleurey, Martin Monperrus, Hui Song, Maxime Tricoire), In IEEE Software, volume 32, 2015. [bibtex] [pdf]
2014
[11] Tailored source code transformations to synthesize computationally diverse program variants (Benoit Baudry, Simon Allier, Martin Monperrus), In Proc. of the Int. Symp. on Software Testing and Analysis (ISSTA), 2014. [bibtex] [pdf]
2013
[10] Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale), In MODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Springer, 2013. [bibtex] [pdf]
2011
[9] Estimating Footprints of Model Operations (Cédric Jeanneret, Martin Glinz, Benoit Baudry), In Proceedings of the International Conference on Software Engineering (ICSE), IEEE, 2011. [bibtex] [pdf]
2010
[8] Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines (Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon), In Proc. of the International Conference on Software Testing (ICST), IEEE, 2010. [bibtex] [pdf]
[7] Barriers to Systematic Model Transformation Testing (Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert France, Yves Le Traon, Jean-Marie Mottu), In Communications of the ACM, ACM, volume 53, 2010. [bibtex] [pdf]
2009
[6] Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009. (ACM best paper award) [bibtex] [pdf]
[5] Meta-model Pruning (Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009. [bibtex] [pdf]
[4] Inquiring the usage of aspect-oriented programming: an empirical study (Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon), In Proceedings of the International Conference on Software Maintenance (ICSM'09), 2009. [bibtex] [pdf]
2006
[3] Design by Contract to improve Software Vigilance (Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel), In IEEE Transactions on Software Engineering, IEEE, volume 32, 2006. [bibtex] [pdf]
[2] Improving Test Suites for Efficient Fault Localization (Benoit Baudry, Franck Fleurey, Yves Le Traon), In Proceedings of the International Conference on Software Engineering (ICSE), ACM, 2006. [bibtex] [pdf]
2005
[1] From Genetic to Bacteriological Algorithms for Mutation-Based Testing (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Le Traon Yves), In Software, Testing, Verification & Reliability journal (STVR), volume 15, 2005. [bibtex] [pdf]