Publications in the area of software testing

Book Chapters
2009
[1] Testing Model Transformations: A case for Test Generation from Input Domain Models (Benoit Baudry), Chapter in Model Driven Engineering for Distributed Real-time Embedded Systems, Hermes, 2009. [bibtex] [pdf]
Refereed Articles
2016
[16] 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]
[15] 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
[14] Guest Editorial for Special Section on ICST'13 (Benoit Baudry, Alex Orso), In Software Testing, Verification and Validation, volume 25, 2015. [bibtex] [pdf]
2014
[13] 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]
2012
[12] 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]
[11] 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]
2011
[10] 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]
[9] Guest Editorial for Special Section on Mutation Testing (Benoit Baudry, Jeremy Bradbury, Gordon Fraser), In Information & Software Technology, volume 53, 2011. [bibtex] [pdf]
2010
[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]
Refereed Conference Papers
2016
[43] Automatic Non-functional Testing of Code Generators Families (Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Gerson Sunyé), In Proc. of the Int. Conf. on Generative Programming: Concepts & Experiences (GPCE), 2016. [bibtex] [pdf]
[42] 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]
[41] NOTICE: A Framework for Non-functional Testing of Compilers (Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé), In Proc. of the Int. Conf. on Software Quality, Reliability & Security (QRS 2016), 2016. [bibtex] [pdf]
[40] Automatic Detection of GUI Design Smells: The Case of Blob Listener (Valéria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon, Olivier Beaudoux), In Proc. of the Symp. on Engineering Interactive Computing Systems (EICS), 2016. [bibtex] [pdf]
2015
[39] Discovering Model Transformation Pre-conditions using Automatically Generated Test Models (Jean-Marie Mottu, Sagar Sen, Juan Cadavid, Benoit Baudry), In Proc. of the Int. Symp. on Sofware Reliability Engineering, 2015. [bibtex] [pdf]
[38] Classifying and Qualifying GUI Defects (Valéria Lelli, Arnaud Blouin, Benoit Baudry), In Proc. of the Int. Conf. on Software Testing, Verification and Validation, 2015. [bibtex] [pdf]
2014
[37] An Approach to Derive Usage Models Variants for Model-based Testing (Hamza Samih, Helene Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry), In Proc. of the Int. Conf. on Testing Software and Systems (ICTSS), 2014. [bibtex] [pdf]
[36] A Variability-based Testing Approach for Synthesizing Video Sequences (José Angel Galindo Duarte, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides), In Proc. of the Int. Symp. on Software Testing and Analysis (ISSTA), 2014. [bibtex] [pdf]
[35] 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
[34] 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]
2012
[33] A Vision for Behavioural Model-Driven Validation of Software Product Lines (Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry), In Proceedings of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2012. [bibtex] [pdf]
[32] Searching the boundaries of a modeling space to test metamodels (Juan Cadavid, Benoit Baudry, Houari Sahraoui), In Proceedings of the International Conference on Software Testing, verification and validation (ICST), 2012. [bibtex] [pdf]
[31] Managing Execution Environment Variability during Software Testing: an industrial experience (Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb), In Proceedings of the International Conference on Testing Software and Systems (ICTSS), 2012. [bibtex] [pdf]
2011
[30] PACOGEN : Automatic Generation of Pairwise Test Configurations from Feature Models (Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb), In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2011. [bibtex] [pdf]
[29] Pairwise Testing of Dynamic Composite Services (Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard), In Proceedings of the International Symposium on Software Engineering for Adaptive and Self Managing Systems (SEAMS), IEEE, 2011. [bibtex] [pdf]
[28] Tailored Shielding and Bypass Testing of Web Applications (Tejedinne Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault), In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), IEEE, 2011. [bibtex] [pdf]
2010
[27] Vidock: a Tool for Impact Analysis of Aspect Weaving on Test Cases (Romain Delamare, Freddy Muñoz, Benoit Baudry, Yves Le Traon), In Proceedings of the International Conference on Testing Software and Systems (ICTSS), IFIP, 2010. [bibtex] [pdf]
[26] 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]
2009
[25] A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ (Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon), In Proceedings of the International Conference on Software Testing, Verification, and Validation (ICST), 2009. [bibtex] [pdf]
[24] Transforming and selecting functional test cases for security policy testing (Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry), In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2009. [bibtex] [pdf]
[23] A Framework for Testing Model Composition Engines (Freddy Munoz, Benoit Baudry), In Proceedings of the International Conference on Software Composition (SC), Springer-Verlag, 2009. [bibtex] [pdf]
[22] Automatic Model Generation Strategies for Model Transformation Testing (Sagar Sen, Benoit Baudry, Jean-Marie Mottu), In Proceedings of the International Conference on Model Transformations, 2009. [bibtex] [pdf]
2008
[21] A Model-Based Framework for Security Policy Specification, Deployment and Testing (Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2008. [bibtex] [pdf]
[20] Improving Maintenance in AOP Through an Interaction Specification Framework (Freddy Munoz, Benoit Baudry, Olivier Barais), In Proceedings of the International conference on Software Maintentance (ICSM), IEEE Computer Society Press, 2008. [bibtex] [pdf]
[19] On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (Sagar Sen, Benoit Baudry, Jean-Marie Mottu), In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2008. [bibtex] [pdf]
[18] Test-Driven Assessment of Access Control in Legacy Applications (Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry), In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2008. [bibtex] [pdf]
2007
[17] Testing security policies: going beyond functional testing (Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry), In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)), 2007. [bibtex] [pdf]
2006
[16] Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool (Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon), In Proceedings of International Symposium on Software Reliability Engineering (ISSRE), 2006. [bibtex] [pdf]
[15] Reusable MDA Components: A Testing-for-Trust Approach (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2006. [bibtex] [pdf]
[14] Mutation Analysis Testing for Model Transformations (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Proceedings of the European Conference on Model Driven Architecture (ECMDA), 2006. [bibtex] [pdf]
[13] 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
[12] (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon, Erwan Brottier), In Proceedings of 1Ëre JournÈes sur l'IngÈnierie DirigÈe par les ModËles, Paris, 2005. [bibtex] [pdf]
2004
[11] Improving the Testability of UML Diagram (Benoit Baudry, Yves Le Traon, Gerson Sunyé), In Proceedings of the IWoTA at ISSRE'04, 2004. [bibtex] [pdf]
[10] From testing to diagnosis: An automated approach (Franck Fleurey, Benoit Baudry, Yves Le Traon), In Proceedings of the International Conference on Automated Software Engineering (ASE), 2004. [bibtex] [pdf]
2003
[9] Measuring and Improving Design Patterns Testability (Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel), In Proceedings of the Metrics Symposium, 2003. [bibtex] [pdf]
2002
[8] Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon), In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2002. [bibtex] [pdf]
[7] Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Components (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon), In Proceedings of the International Conference on Automated Software Engineering (ASE), 2002. [bibtex] [pdf]
[6] Testability Analysis of UML Class Diagram (Benoit Baudry, Yves Le Traon, Gerson Sunyé), In Proceedings of the Metrics Symposium, 2002. [bibtex] [pdf]
2001
[5] Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability (Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel), In Proceedings of International Symposium on Software Reliability Engineering (ISSRE), 2001. [bibtex] [pdf]
[4] Robustness and Diagnosability of OO Systems Designed by Contracts (Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel), In Proceedings of the Metrics Symposium, 2001. [bibtex] [pdf]
2000
[3] Building Trust into OO Components using a Genetic Analogy (Benoit Baudry, Yves Le Traon, Hanh Vu Le, Jean-Marc Jézéquel), In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2000. [bibtex] [pdf]
[2] Trustable Components: Yet Another Mutation-Based Approach (Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel, Hanh Vu Le), In Proceedings of the Symposium on Mutation Testing, 2000. [bibtex] [pdf]
[1] Testing-for-Trust: the Genetic Selection Model applied to Component Qualification (Benoit Baudry, Yves Le Traon, Hanh Vu Le), In Proceedings of TOOLS Europe, IEEE Computer Society, volume 33, 2000. [bibtex] [pdf]
Refereed Workshop Papers
2015
[20] A Novelty Search Approach for Automatic Test Data Generation (Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry), In Proc. of the Workshop on Search-Based Software Testing SBST@ICSE, 2015. [bibtex] [pdf]
[19] On Model-Based Testing Advanced GUIs (Valéria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon), In Proc. of the Workshop on Advances in Model Based Testing (A-MOST 2015), 2015. [bibtex] [pdf]
2009
[18] AjMutator: A Tool For The Mutation Analysis Of AspectJ Pointcut Descriptors (Romain Delamare, Benoit Baudry, Yves Le Traon), In Proceedings of the International Workshop on Mutation Analysis at ICST'09, 2009. [bibtex] [pdf]
2008
[17] Validation challenges in model composition: The case of adaptive systems (Freddy Munoz, Benoit Baudry), In Proceedings of ChaMDE 2000 Workshop at MODELS'08, 2008. [bibtex] [pdf]
[16] Regression Test Selection when Evolving Software with Aspects (Romain Delamare, Benoit Baudry, Yves Le Traon), In Proceedings of the LATE workshop at AOSD'08, 2008. [bibtex] [pdf]
[15] A Generic Metamodel For Security Policies Mutation (Tejeddine Mouelhi, Benoit Baudry, Franck Fleurey), In Proceedings of the Security Testing workshop at ICST'08, 2008. [bibtex] [pdf]
[14] Mutating DAC And MAC Security Policies: A Generic Metamodel Based Approach (Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon), In Proceedings of the Modeling Security Workshop at MODELS '08, 2008. [bibtex] [pdf]
2007
[13] Vigilant usage of Aspects (Freddy Munoz, Olivier Barais, Benoit Baudry), In Proceedings of the ADI Workshop at ECOOP 2007, 2007. [bibtex] [pdf]
[12] Mutation analysis for security tests qualification (Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry), In Proceedings of the workshop on mutation analysis at TAIC-Part 2007, 2007. [bibtex] [pdf]
2006
[11] Mutation-based Model Synthesis in Model Driven Engineering (Sagar Sen, Benoit Baudry), In Proceedings of the mutation'06 workshop at ISSRE'06, 2006. [bibtex] [pdf]
[10] Report on the 3rd MoDeVa Workshop - Model Design and Validation (Benoit Baudry, David Hearnden, Nicolas Rapin, Jˆrn Guy Suss), In Proceedings of the workshops and Symposia at MoDELS'06, LNCS, 2006. [bibtex] [pdf]
[9] Testing Executable Themes (Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke), In Proceedings of the MDSD workshop at ECOOP 06, 2006. [bibtex] [pdf]
[8] Model Transformation Testing Challenges (Benoit Baudry, Trung Dinh-Trong, Jean-Marie Mottu, Devon Simmonds, Robert France, Sudipto Ghosh, Franck Fleurey, Yves Le Traon), In Proceedings of the IMDDMDT workshop at ECMDA'06, 2006. [bibtex] [pdf]
[7] Multi-Language Support for Model-Driven Requirement Analysis and Test Generation (Clémentine Nebut, Benoit Baudry, Souha Kamoun, Waqas Ahmed Saeed), In Proceedings of the IMDDMDT workshop at ECMDA'06., 2006. [bibtex] [pdf]
[6] Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces (Romain Delamare, Benoit Baudry, Yves Le Traon), In Proceedings of the workshop on Object-Oriented Reengineering at ECOOP 06, 2006. [bibtex] [pdf]
2005
[5] Report on the 2nd Workshop on Model Development and Validation: MoDeVa. (Benoit Baudry, Christophe Gaston, Sudipto Ghosh), In Proceedings of the Satellite Events at the MoDELS'05 (Jean-Michel Bruel, ed.), Springer-Verlag, 2005. [bibtex] [pdf]
[4] A Taxonomy of Faults for UML Designs (Trung Dinh-Trong, Sudipto Ghosh, Robert France, Benoit Baudry, Franck Fleurey), In Proceedings of the MoDeVa Workshop at MODELS'05, 2005. [bibtex] [pdf]
2004
[3]Optimal Allocation of Testing Resources (Yves Le Traon, Benoit Baudry), In Proceedings of the Modeva workshop at ISSRE'04, 2004. [bibtex]
[2] MDE and Validation: Testing Model Transformations (Franck Fleurey, Jim Steel, Benoit Baudry), In Proceedings of the Modeva workshop at ISSRE'04, 2004. [bibtex] [pdf]
2002
[1] Computational Intelligence for Testing .NET Components (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon), In Proceedings of Microsoft Summer Research Workshop, 2002. [bibtex] [pdf]
Other Publications
2010
[3] Question-learn-test-feedback pattern to test emerging software construction paradigms (Benoit Baudry), PhD thesis, Université Européenne de Bretagne, 2010. [bibtex] [pdf]
2009
[2] Artificial table testing dynamically adaptive systems (Freddy Munoz, Benoit Baudry), Technical report, INRIA Bretagne Atlantique, 2009. [bibtex] [pdf]
2008
[1] Generating regression tests for software migration (Franck Fleurey, Benoit Baudry, Alain Nicolas, Erwan Breton, Jean-Marc Jézéquel), Technical report, , 2008. [bibtex] [pdf]