Journals

Refereed Articles
2016
[32] Optimal Minimisation of Pairwise-covering Test Configurations Using Constraint Programming (Aymeric Hervieu, Dusica Marijan, Arnaud Gotlieb, Benoit Baudry), In Information and Software Technology, Elsevier, volume 71, 2016. [bibtex] [pdf]
[31] 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]
[30] ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems (I Gonzalez-Herrera, J Bourcier, E Daubert, W Rudametkin, Olivier Barais, F Fouquet, Jean-Marc Jézéquel, B Baudry), In Journal of Systems and Software, Elsevier, 2016. [bibtex] [pdf]
2015
[29] Using Slicing to Improve the Performance of Model Invariant Checking (Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray), In Journal of Object Technology, 2015. [bibtex] [pdf]
[28] Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels (Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui, Jean-Marc Jézéquel), In Information and Software Technology, Elsevier, volume 62, 2015. [bibtex] [pdf] [doi]
[27] Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study (Guillaume Bécan, Mathieu Acher, Benoit Baudry, Sana Ben Nasr), In Empirical Software Engineering, Springer Verlag (Germany), 2015. [bibtex] [pdf]
[26] 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]
[25] 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]
[24] Guest Editorial for Special Section on ICST'13 (Benoit Baudry, Alex Orso), In Software Testing, Verification and Validation, volume 25, 2015. [bibtex] [pdf]
2014
[23] Generating Counterexamples of Model-based Software Product Lines (Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry), In Software Tools for Technology Transfer (STTT), Springer, 2014. [bibtex] [pdf]
[22] Globalizing Modeling Languages (Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert France, Jean-Marc Jézéquel, Jeff Gray), In Computer, IEEE, 2014. [bibtex] [pdf]
[21] Model-Based Testing of Global Properties on Large-Scale Distributed Systems (Gerson Sunyé, Eduardo Cunha De Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel), In Information and Software Technology, Elsevier, volume 56, 2014. [bibtex] [pdf]
[20] Towards an Automation of the Mutation Analysis Dedicated to Model Transformation (Vincent Aranega, Jean-Marie Mottu, Anne Etien, Thomas Degueule, Benoit Baudry, Jean-Luc Dekeyser), In Software Testing, Verification and Reliability, Wiley, volume , 2014. [bibtex] [pdf]
2013
[19] Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation (Yu Sun, Jeff Gray, Romain Delamare, Benoit Baudry, Jules White), In Journal of Software Maintenance and Evolution: Research and Practice, Wiley, 2013. [bibtex] [pdf]
[18] Automated Measurement of Models of Requirements (Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener), In Software Quality Journal, Springer, volume 21, 2013. [bibtex] [pdf]
2012
[17] Kompren: Modeling and Generating Model Slicers (Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux), In Software and Systems Modeling, Springer, 2012. [bibtex] [pdf]
[16] Usage and Testability of AOP: an empirical study of AspectJ (Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon), In Information and Software Technology, Elsevier, 2012. [bibtex] [pdf]
[15] Reusable model transformations (Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, Jean-Marc Jézéquel), In Journal of Software and Systems Modeling (SoSyM), Springer, volume 11, 2012. [bibtex] [pdf] [doi]
[14] Pairwise Testing for Software Product Lines: A Comparison of Two Approaches (Gilles Perrouin, Sebastian Oster, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon), In Software Quality Journal, Springer, volume 20, 2012. [bibtex] [pdf]
[13] Modeling Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale), In Journal of Software and Systems Modeling (SoSyM), Springer-Verlag, volume 11, 2012. [bibtex] [pdf]
2011
[12] An Approach for Testing Pointcut Descriptors in AspectJ (Romain Delamare, Benoit Baudry, Sudipto Ghosh, Shashank Gupta, Yves Le Traon), In Software, Testing, Verification & Reliability journal (STVR), volume 21, 2011. [bibtex] [pdf]
[11] Model-driven Generative Development of Measurement Software (Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener), In Software and Systems Modeling (SoSyM), Springer, volume 10, 2011. [bibtex] [pdf]
[10] Guest Editorial for Special Section on Mutation Testing (Benoit Baudry, Jeremy Bradbury, Gordon Fraser), In Information & Software Technology, volume 53, 2011. [bibtex] [pdf]
2010
[9] Towards Domain-specific Model Editors with Automatic Model Completion (Sagar Sen, Benoit Baudry, Hans Vangheluwe), In SIMULATION, volume 86, 2010. [bibtex] [pdf] [doi]
[8] Construction de tests qualifiés de transformation de modèles (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Technique et Science Informatiques, Numéro Spécial Ingénierie dirigée par les modèles, Hermes, volume 29, 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] Towards Dependable Model Transformations: Qualifying Input Test Data (Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon), In Journal of Software and Systems Modeling (SoSyM), volume 8, 2009. [bibtex] [pdf]
2006
[5] 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]
2005
[4] 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]
[3] Automatic Test Cases Optimization: a Bacteriologic Algorithm (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon), In IEEE Software, volume 22, 2005. [bibtex] [pdf]
2004
[2] Measuring Design Testability of a UML Class Diagram (Benoit Baudry, Yves Le Traon), In Information & Software Technology (IST), 2004. [bibtex] [pdf]
2002
[1] From diagnosis to diagnosability: axiomatization, measurement and application (Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry), In Journal of Systems and Software, 2002. [bibtex] [pdf]