|
| [98] | Spork: Structured Merge for Java with Formatting Preservation (Simon Larsen, Jean-Remy Falleri, Benoit Baudry, Martin Monperrus), In IEEE Transactions on Software Engineering, volume 49, 2023. |
|
| [97] | Maximizing Error Injection Realism for Chaos Engineering with System Calls (Long Zhang, Brice Morin, Benoit sand Monperrus Martin Baudry), In IEEE Transactions on Dependable and Secure Computing, volume 19, 2022. |
| [96] | Harvesting Production GraphQL Queries to Detect Schema Faults (Louise Zetterlund, Deepika Tiwari, Martin Monperrus, Benoit Baudry), In Proc. of ICST, 2022. |
| [95] | Production Monitoring to Improve Test Suites (Deepika Tiwari, Long Zhang, Martin Monperrus, Benoit Baudry), In IEEE Transactions on Reliability, volume 71, 2022. |
|
| [94] | A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM (Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus), In IEEE Transactions on Software Engineering, IEEE, volume 47, 2021. |
| [93] | Testing beyond coverage (Benoit Baudry, Martin Monperrus), In Increment, Stripe, 2021. |
|
| [92] | An Approach and Benchmark to Detect Behavioral Changes of Commits in Continuous Integration (Benjamin Danglot, Martin Monperrus, Walter Rudametkin, Benoit Baudry), In Empirical Software Engineering, volume 25, 2020. |
| [91] | Leveraging metamorphic testing to automatically detect inconsistencies in code generator families (Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry), In Software Testing, Verification and Reliability, volume 30, 2020. |
|
| [90] | A Comprehensive Study of Pseudo-tested Methods (Oscar Vera-Perez, Benjamin Danglot, Martin Monperrus, Benoit Baudry), In Empirical Software Engineering, volume 24, 2019. |
| [89] | 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, volume 24, 2019. |
| [88] | A snowballing literature study on test amplification (Benjamin Danglot, Oscar Vera-Perez, Zhongxing Yu, Andy Zaidman, Martin Monperrus, Benoit Baudry), In Journal of Systems and Software, volume 157, 2019. |
| [87] | 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, volume 27, 2019. |
|
| [86] | A spoonful of DevOps helps the GI go down (Benoit Baudry, Nicolas Harrand, Eric Schulte, Chris Timperley, Shin Hwei Tan, Marija Selakovic, Emamurho Ugherughe), In Proc. of Genetic Improvement workshop (GI), 2018. |
| [85] | Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool Demonstration (Oscar Vera-Perez, Martin Monperrus, Benoit Baudry), In Proc. of Automated Software Engineering Conf. (ASE), 2018. |
| [84] | Exhaustive Exploration of the Failure-oblivious Computing Search Space (Thomas Durieux, Yousef Hamadi, Zhongxing Yu, Benoit Baudry, Martin Monperrus), In Proc. of the Int. Conf. on Sotware Testing and Verification (ICST), 2018. |
| [83] | 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, volume 102, 2018. |
| [82] | 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. |
|
| [81] | Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding (Marcelino Rodriguez-Cancio, Benoit Combemale, Benoit Baudry), In Proc. of the Automated Software Engineering Conference (ASE), 2016. |
| [80] | 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. |
| [79] | 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, volume 76, 2016. |
| [78] | 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. |
| [77] | Practical Minimisation of Pairwise-covering Test Configurations Using Constraint Programming (Aymeric Hervieu, Dusica Marijan, Arnaud Gotlieb, Benoit Baudry), In Information and Software Technology, volume 71, 2016. |
| [76] | 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 and Experiences (GPCE), 2016. |
|
| [75] | 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 Software Reliability Engineering (ISSRE), 2015. |
| [74] | 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. |
| [73] | 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. |
| [72] | Classifying and Qualifying GUI Defects (Valéria Lelli, Arnaud Blouin, Benoit Baudry), In Proc. of the Int. Conf. on Software Testing, Verification and Validation (ICST), 2015. |
| [71] | Guest Editorial for Special Section on ICST'13 (Benoit Baudry, Alex Orso), In Software Testing, Verification and Validation, volume 25, 2015. |
| [70] | 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, volume 25, 2015. |
|
| [69] | 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. |
| [68] | 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 Int. Symp. on Software Testing and Analaysis (ISSTA), 2014. |
| [67] | Tailored source code transformations to synthesize computationally diverse program variants (Benoit Baudry, Simon Allier, Martin Monperrus), In Proc. of Int. Symp. on Software Testing and Analaysis (ISSTA), 2014. |
|
| [66] | Usage and Testability of AOP: an empirical study of AspectJ (Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon), In Information and Software Technology, volume 55, 2013. |
| [65] | Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2013. |
|
| [64] | Managing Execution Environment Variability during Software Testing: an industrial experience (Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb), In Proc. of the International Conference on Testing Software and Systems (ICTSS), 2012. |
| [63] | 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 Proc of ISOLA, 2012. |
| [62] | 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. |
| [61] | Searching the boundaries of a modeling space to test metamodels (Juan Cadavid, Benoit Baudry, Houari Sahraoui), In Proc. of the Int. Conf. on Software Testing, Validation and Verification (ICST), 2012. |
|
| [60] | An Approach for Testing Pointcut Descriptors in AspectJ (Romain Delamare, Benoit Baudry, Sudipto Ghosh, Shashank Gupta, Yves Le Traon), In Software, Testing, Verification and Reliability journal, volume 21, 2011. |
| [59] | Tailored Shielding and Bypass Testing of Web Applications (Tejedinne Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault), In Proc. of the Int. Conf. on Testing, Validations and Verification (ICST), 2011. |
| [58] | Pairwise Testing of Dynamic Composite Services (Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard), In Proc. of the Symp. on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2011. |
| [57] | PACOGEN : Automatic Generation of Pairwise Test Configurations from Feature Models (Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb), In Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE), 2011. |
| [56] | Guest Editorial for Special Section on Mutation Testing (Benoit Baudry, Jeremy Bradbury, Gordon Fraser), In Information and Software Technology, volume 53, 2011. |
|
| [55] | Question-learn-test-feedback pattern to test emerging software construction paradigms (Benoit Baudry), PhD thesis, Université Européenne de Bretagne, 2010. |
| [54] | 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 Int. Conf. on Software Testing, Validation and Verification (ICST), 2010. |
| [53] | 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. |
| [52] | Vidock: a Tool for Impact Analysis of Aspect Weaving on Test Cases (Romain Delamare, Freddy Muñoz, Benoit Baudry, Yves Le Traon), In Proc. of the International Conference on Testing Software and Systems (ICTSS), 2010. |
| [51] | 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. |
|
| [50] | AjMutator: A Tool For The Mutation Analysis Of AspectJ Pointcut Descriptors (Romain Delamare, Benoit Baudry, Yves Le Traon), In Proc. of the International Workshop on Mutation Analysis at ICST, 2009. |
| [49] | Artificial table testing dynamically adaptive systems (Freddy Munoz, Benoit Baudry), Technical report, INRIA Bretagne Atlantique, 2009. |
| [48] | A Framework for Testing Model Composition Engines (Freddy Munoz, Benoit Baudry), In Proc. of the International Conference on Software Composition (SC), 2009. |
| [47] | Transforming and selecting functional test cases for security policy testing (Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry), In Proc. of the Int. Conf. on Software Testing, Verification and Validation (ICST), 2009. |
| [46] | Automatic Model Generation Strategies for Model Transformation Testing (Sagar Sen, Benoit Baudry, Jean-Marie Mottu), In Proc. of the International Conference on Model Transformations (ICMT), 2009. |
| [45] | Qualifying input test data for model transformations (Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon), In Journal of Software and Systems Modeling, volume 8, 2009. |
| [44] | A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ (Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon), In Proc. of the Int. Conference on Software Testing, Validation and Verification (ICST), 2009. |
| [43] | 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. |
|
| [42] | Validation challenges in model composition: The case of adaptive systems (Freddy Munoz, Benoit Baudry), In Proc. of ChaMDE 2000 Workshop at MODELS'08, 2008. |
| [41] | Regression Test Selection when Evolving Software with Aspects (Romain Delamare, Benoit Baudry, Yves Le Traon), In Proc. of the LATE workshop at AOSD'08, 2008. |
| [40] | Improving Maintenance in AOP Through an Interaction Specification Framework (Freddy Munoz, Benoit Baudry, Olivier Barais), In Proc. of the Int. Conf. on Software Maintentance (ICSM), 2008. |
| [39] | A Generic Metamodel For Security Policies Mutation (Tejeddine Mouelhi, Benoit Baudry, Franck Fleurey), In Proc. of the Security Testing workshop at ICST, 2008. |
| [38] | Mutating DAC And MAC Security Policies: A Generic Metamodel Based Approach (Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon), In Proc. of the Modeling Security Workshop at MODELS '08, 2008. |
| [37] | Test-Driven Assessment of Access Control in Legacy Applications (Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry), In Proc. of the Int. Conf. on Software Testing, Verification and Validation (ICST), 2008. |
| [36] | On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (Sagar Sen, Benoit Baudry, Jean-Marie Mottu), In Proc. of the Int. Conf. on Software Testing, Verification and Validation (ICST), 2008. |
| [35] | A Model-Based Framework for Security Policy Specification, Deployment and Testing (Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2008. |
| [34] | Generating regression tests for software migration (Franck Fleurey, Benoit Baudry, Alain Nicolas, Erwan Breton, Jean-Marc Jézéquel), Technical report, , 2008. |
|
| [33] | Vigilant usage of Aspects (Freddy Munoz, Olivier Barais, Benoit Baudry), In Proc. of the ADI Workshop at ECOOP 2007, 2007. |
| [32] | Mutation analysis for security tests qualification (Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry), In Proc. of the workshop on mutation analysis at TAIC-Part 2007, 2007. |
| [31] | Testing security policies: going beyond functional testing (Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry), In Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE)), 2007. |
|
| [30] | Report on the 3rd MoDeVa Workshop - Model Design and Validation (Benoit Baudry, David Hearnden, Nicolas Rapin, Jˆrn Guy Suss), In Proc. of the workshops and Symposia at MoDELS'06, LNCS, 2006. |
| [29] | Testing Executable Themes (Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke), In Proc. of the MDSD workshop at ECOOP 06, 2006. |
| [28] | Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces (Romain Delamare, Benoit Baudry, Yves Le Traon), In Proc. of the workshop on Object-Oriented Reengineering at ECOOP 06, 2006. |
| [27] | Mutation-based Model Synthesis in Model Driven Engineering (Sagar Sen, Benoit Baudry), In Proc. of the mutation'06 workshop at ISSRE'06, 2006. |
| [26] | 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. |
| [25] | Model Transformation Testing Challenges (Benoit Baudry, Trung Dinh-Trong, Jean-Marie Mottu, Devon Simmonds, Robert France, Sudipto Ghosh, Franck Fleurey, Yves Le Traon), In Proc. of the IMDDMDT workshop at ECMDA'06, 2006. |
| [24] | Improving Test Suites for Efficient Fault Localization (Benoit Baudry, Franck Fleurey, Yves Le Traon), In Proc. of the Int. Conf. on Software Engineering (ICSE), 2006. |
| [23] | Multi-Language Support for Model-Driven Requirement Analysis and Test Generation (Clémentine Nebut, Benoit Baudry, Souha Kamoun, Waqas Ahmed Saeed), In Proc. of the IMDDMDT workshop at ECMDA'06., 2006. |
| [22] | Reusable MDA Components: A Testing-for-Trust Approach (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2006. |
| [21] | Mutation Analysis Testing for Model Transformations (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Proc. of the European Conference on Model Driven Architecture (ECMDA), 2006. |
| [20] | Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool (Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon), In Proc. of Int. Symp. on Software Reliability Engineering (ISSRE), 2006. |
|
| [19] | Measuring Design Testability of a UML Class Diagram (Benoit Baudry, Yves Le Traon), In Information and Software Technology, volume 47, 2005. |
| [18] | Report on the 2nd Workshop on Model Development and Validation: MoDeVa. (Benoit Baudry, Christophe Gaston, Sudipto Ghosh), In Proc. of the Satellite Events at the MoDELS'05, 2005. |
| [17] | GÈnÈration Automatique de Test pour les Transformations de ModËles, In Proc. of 1Ëre JournÈes sur l'IngÈnierie DirigÈe par les ModËles, Paris, 2005. |
| [16] | A Taxonomy of Faults for UML Designs (Trung Dinh-Trong, Sudipto Ghosh, Robert France, Benoit Baudry, Franck Fleurey), In Proc. of the MoDeVa Workshop at MODELS'05, 2005. |
|
| [15] | Improving the Testability of UML Diagram (Benoit Baudry, Yves Le Traon, Gerson Sunyé), In Proc. of the IWoTA at ISSRE'04, 2004. |
| [14] | Optimal Allocation of Testing Resources (Yves Le Traon, Benoit Baudry), In Proc. of the Modeva workshop at ISSRE'04, 2004. |
| [13] | MDE and Validation: Testing Model Transformations (Franck Fleurey, Jim Steel, Benoit Baudry), In Proc. of the Modeva workshop at ISSRE'04, 2004. |
| [12] | From testing to diagnosis: An automated approach (Franck Fleurey, Benoit Baudry, Yves Le Traon), In Proc of the Conf. on Automated Software Engineering (ASE), 2004. |
|
| [11] | From diagnosis to diagnosability: axiomatization, measurement and application (Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry), In Journal of Systems and Software, volume 65, 2003. |
| [10] | Measuring and Improving Design Patterns Testability (Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel), In Proc. of the Metrics Symposium (Metrics), 2003. |
|
| [9] | 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 Proc. of the Conf. on Automated Software Engineering (ASE), 2002. |
| [8] | Computational Intelligence for Testing .NET Components (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon), In Proc. of Microsoft Summer Research Workshop, 2002. |
| [7] | 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 Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE), 2002. |
| [6] | Testability Analysis of UML Class Diagram (Benoit Baudry, Yves Le Traon, Gerson Sunyé), In Proc. of the Metrics Symposium (Metrics), 2002. |
|
| [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 Proc. of Int. Symp. on Software Reliability Engineering (ISSRE), 2001. |
| [4] | Robustness and Diagnosability of OO Systems Designed by Contracts (Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel), In Proc. of the Metrics Symposium (Metrics), 2001. |
|
| [3] | Trustable Components: Yet Another Mutation-Based Approach (Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel, Hanh Vu Le), In Proc. of the Symposium on Mutation Testing, 2000. |
| [2] | Building Trust into OO Components using a Genetic Analogy (Benoit Baudry, Yves Le Traon, Hanh Vu Le, Jean-Marc Jézéquel), In Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE), 2000. |
| [1] | Testing-for-Trust: the Genetic Selection Model applied to Component Qualification (Benoit Baudry, Yves Le Traon, Hanh Vu Le), In Proc. of TOOLS Europe, volume 33, 2000. |
