Journals

Refereed Articles
2018
[43] Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack (Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Benoit Baudry), In Empirical Software Engineering, Springer Verlag, 2018. [bibtex] [pdf] [doi]
[42] User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners (Arnaud Blouin, Valéria Lelli, Benoit Baudry, Fabien Coulon), In Information and Software Technology, Elsevier, 2018. [bibtex] [pdf] [doi]
[41] Modeling Variability in the Video Domain: Language and Experience Report (Mauricio Alférez, Mathieu Acher, José A Galindo, Benoit Baudry, David Benavides), In Software Quality Journal, Springer Verlag, 2018. [bibtex] [pdf]
[40] A Comprehensive Study of Pseudo-tested Methods (Oscar Vera-Perez, Benjamin Danglot, Martin Monperrus, Benoit Baudry), In Emirical Software Engineering, volume , 2018. [bibtex] [pdf]
[39] Automatic Quality Assurance and Release (Dagstuhl Seminar 18122) (Bram Adams, Benoit Baudry, Sigrid Eldh, Andy Zaidman), In Dagstuhl Reports (Bram Adams, Benoit Baudry, Sigrid Eldh, Andy Zaidman, eds.), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, volume 8, 2018. [bibtex] [pdf] [doi]
2017
[38] Omniscient Debugging for Executable DSLs (Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry), In Journal of Systems and Software, Elsevier, volume 137, 2017. [bibtex] [pdf] [doi]
[37] Advanced and efficient execution trace management for executable domain-specific modeling languages (Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry), In Software and Systems Modeling, Springer Verlag, 2017. [bibtex] [pdf] [doi]
[36] Reverse Engineering Language Product Lines from Existing DSL Variants (David A Méndez-Acuña, José A Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry), In Journal of Systems and Software, Elsevier, 2017. [bibtex] [pdf] [doi]
[35] Online Genetic Improvement on the java virtual machine with ECSELR (Kwaku Yeboah-Antwi, Benoit Baudry), In Genetic Programming and Evolvable Machines, volume 18, 2017. [bibtex] [pdf] [doi]
[34] Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation (Benjamin Danglot, Philippe Preux, Benoit Baudry, Martin Monperrus), In Empirical Software Engineering, Springer Verlag, 2017. [bibtex] [pdf] [doi]
[33] Automated Extraction of Product Comparison Matrices From Informal Product Descriptions (Sana Ben Nasr, Guillaume Bécan, Mathieu Acher, João Ferreira Filho Bosco, Nicolas Sannier, Benoit Baudry, Jean-Marc Davril), In Journal of Systems and Software, Elsevier, volume 124, 2017. [bibtex] [pdf] [doi]
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]