trench crew research teaching contact

Testing publications

D. Tiwari, M. Monperrus, and B. Baudry,
“Mimicking Production Behavior with Generated Mocks,” IEEE Transactions on Software Engineering, 2024, doi: 10.1109/TSE.2024.3458448.
D. Tiwari, Y. Gamage, M. Monperrus, and B. Baudry,
“PROZE: Generating parameterized unit tests informed by runtime data,” in Proceedings of IEEE SCAM, 2024. https://arxiv.org/pdf/2407.00768
B. Baudry, K. Etemadi, S. Fang, Y. Gamage, Y. Liu, Y. Liu, M. Monperrus, J. Ron, A. Silva, and D. Tiwari,
“Generative AI to generate test data generators,” IEEE Software, pp. 1–9, 2024, doi: 10.1109/ms.2024.3418570.
S. Larsen, J.-R. Falleri, B. Baudry, and M. Monperrus,
“Spork: Structured merge for java with formatting preservation,” IEEE Transactions on Software Engineering, vol. 49, no. 1, pp. 64–83, 2023, doi: 10.1109/TSE.2022.3143766.
L. Zetterlund, D. Tiwari, M. Monperrus, and B. Baudry,
“Harvesting production GraphQL queries to detect schema faults,” in Proc. Of ICST, 2022, pp. 365–376. doi: 10.1109/ICST53961.2022.00014.
B. Baudry and M. Monperrus,
“Testing beyond coverage,” Increment, 2021, https://increment.com/reliability/testing-beyond-coverage/
D. Tiwari, L. Zhang, M. Monperrus, and B. Baudry,
“Production monitoring to improve test suites,” IEEE Transactions on Reliability, vol. 71, no. 3, pp. 1381–1397, 2022, doi: 10.1109/TR.2021.3101318.
L. Zhang, B. Morin, and M. Baudry Benoit sand Monperrus,
“Maximizing error injection realism for chaos engineering with system calls,” IEEE Transactions on Dependable and Secure Computing, vol. 19, no. 4, 2022, doi: 10.1109/TDSC.2021.3069715.
B. Danglot, M. Monperrus, W. Rudametkin, and B. Baudry,
“An approach and benchmark to detect behavioral changes of commits in continuous integration,” Empirical Software Engineering, vol. 25, no. 4, 2020, doi: 10.1007/s10664-019-09794-7.
M. Boussaa, O. Barais, G. Sunyé, and B. Baudry,
“Leveraging metamorphic testing to automatically detect inconsistencies in code generator families,” Software Testing, Verification and Reliability, vol. 30, no. 1, 2020, doi: 10.1002/stvr.1721.
B. Danglot, O. Vera-Perez, Z. Yu, A. Zaidman, M. Monperrus, and B. Baudry,
“A snowballing literature study on test amplification,” Journal of Systems and Software, vol. 157, 2019, doi: 10.1016/j.jss.2019.110398.
L. Zhang, B. Morin, P. Haller, B. Baudry, and M. Monperrus,
“A chaos engineering system for live analysis and falsification of exception-handling in the JVM,” IEEE Transactions on Software Engineering, vol. 47, no. 11, pp. 2534–2548, 2021, doi: 10.1109/TSE.2019.2954871.
B. Danglot, O. Vera-Perez, B. Baudry, and M. Monperrus,
“Automatic test improvement with DSpot: A study with ten mature open-source projects,” Empirical Software Engineering, vol. 24, no. 4, pp. 2603–2635, 2019, doi: 10.1007/s10664-019-09692-y.
O. Vera-Perez, B. Danglot, M. Monperrus, and B. Baudry,
“A comprehensive study of pseudo-tested methods,” Empirical Software Engineering, vol. 24, no. 3, pp. 1195–1225, 2019, doi: 10.1007/s10664-018-9653-2.
O. Vera-Perez, M. Monperrus, and B. Baudry,
“Descartes: A PITest engine to detect pseudo-tested methods: Tool demonstration,” in Proc. Of automated software engineering conf. (ASE), 2018, pp. 908–911. doi: 10.1145/3238147.3240474.
B. Baudry, N. Harrand, E. Schulte, C. Timperley, S. H. Tan, M. Selakovic, and E. Ugherughe,
“A spoonful of DevOps helps the GI go down,” in Proc. Of genetic improvement workshop (GI), Gothenburg, Sweden, May 2018. doi: 10.1145/3194810.3194818.
B. Adams, B. Baudry, S. Eldh, and A. Zaidman,
“Automatic Quality Assurance and Release (Dagstuhl Seminar 18122),” Dagstuhl Reports, vol. 8, no. 3, pp. 94–127, 2018, doi: 10.4230/DagRep.8.3.94.
A. Blouin, V. Lelli, B. Baudry, and F. Coulon,
“User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners,” Information and Software Technology, vol. 102, pp. 49–64, 2018, doi: 10.1016/j.infsof.2018.05.005.
A. Halin, A. Nuttinck, M. Acher, X. Devroey, G. Perrouin, and B. Baudry,
“Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack,” Empirical Software Engineering, vol. 24, no. 2, pp. 674–717, 2019, doi: 10.1007/s10664-018-9635-4.
T. Durieux, Y. Hamadi, Z. Yu, B. Baudry, and M. Monperrus,
“Exhaustive Exploration of the Failure-oblivious Computing Search Space,” in Proc. of the Int. Conf. on Sotware Testing and Verification (ICST), 2018, pp. 139–149. https://arxiv.org/pdf/1710.09722.pdf
M. Alférez, M. Acher, J. A. Galindo, B. Baudry, and D. Benavides,
“Modeling Variability in the Video Domain: Language and Experience Report,” Software Quality Journal, vol. 27, no. 1, pp. 307–347, 2019, doi: 10.1007/s11219-017-9400-8.
M. Boussaa, O. Barais, B. Baudry, and G. G. Sunyé,
“Automatic Non-functional Testing of Code Generators Families,” in Proc. of the Int. Conf. on Generative Programming: Concepts and Experiences (GPCE), 2016, pp. 202–212. https://hal.inria.fr/hal-01356849
M. Boussaa, O. Barais, B. Baudry, and G. Sunyé,
“NOTICE: A Framework for Non-functional Testing of Compilers,” in Proc. of the Int. Conf. on Software Quality, Reliability & Security (QRS), Aug. 2016, pp. 335–346. https://hal.archives-ouvertes.fr/hal-01344835/file/QRS2016.pdf
M. Rodriguez-Cancio, B. Combemale, and B. Baudry,
“Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding,” in Proc. of the Automated Software Engineering Conference (ASE), Sep. 2016, pp. 132–143. https://hal.inria.fr/hal-01343818/file/technical-paper-main.pdf
J. Xuan, B. Cornu, M. Martinez, B. Baudry, L. Seinturier, and M. Monperrus,
“B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis,” Information and Software Technology, vol. 76, pp. 65–80, 2016, https://hal.archives-ouvertes.fr/hal-01309004
V. Lelli, A. Blouin, B. Baudry, F. Coulon, and O. Beaudoux,
“Automatic Detection of GUI Design Smells: The Case of Blob Listener,” in Proc. Of the symp. On engineering interactive computing systems (EICS), 2016, pp. 263–274. https://hal.inria.fr/hal-01308625/file/main.pdf
A. Hervieu, D. Marijan, A. Gotlieb, and B. Baudry,
“Practical Minimisation of Pairwise-covering Test Configurations Using Constraint Programming,” Information and Software Technology, vol. 71, pp. 129–146, 2016, doi: 10.1016/j.infsof.2015.11.007.
J.-M. Mottu, S. Sen, J. Cadavid, and B. Baudry,
“Discovering Model Transformation Pre-conditions using Automatically Generated Test Models,” in Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE), Nov. 2015, pp. 88–99. https://hal.inria.fr/hal-01228715/document
B. Baudry and A. Orso,
“Guest editorial for special section on ICST’13,” Software Testing, Verification and Validation, vol. 25, no. 4, p. 333, 2015, doi: 10.1007/978-3-642-14046-4.
V. Lelli, A. Blouin, and B. Baudry,
“Classifying and Qualifying GUI Defects,” in Proc. of the Int. Conf. on Software Testing, Verification and Validation (ICST), 2015, pp. 1–10. https://hal.inria.fr/hal-01114724
V. Lelli, A. Blouin, B. Baudry, and F. Coulon,
“On Model-Based Testing Advanced GUIs,” in Proc. of the Workshop on Advances in Model Based Testing (A-MOST 2015), Graz, Austria, Apr. 2015, pp. 1–10. https://hal.inria.fr/hal-01123647
M. Boussaa, O. Barais, G. Sunyé, and B. Baudry,
“A Novelty Search Approach for Automatic Test Data Generation,” in Proc. of the Workshop on Search-Based Software Testing SBST@ICSE, Firenze, Italy, May 2015, pp. 40–43. https://hal.archives-ouvertes.fr/hal-01121228
H. Samih, H. Le Guen, R. Bogusch, M. Acher, and B. Baudry,
“An Approach to Derive Usage Models Variants for Model-based Testing,” in Proc. of the Int. Conf. on Testing Software and Systems (ICTSS), 2014, pp. 80–96. https://hal.inria.fr/hal-01025124/document
J. A. Galindo Duarte, M. Alférez, M. Acher, B. Baudry, and D. Benavides,
“A Variability-based Testing Approach for Synthesizing Video Sequences,” in Proc. of Int. Symp. on Software Testing and Analaysis (ISSTA), 2014, pp. 293–303. doi: 10.1145/2610384.2610411.
B. Baudry, S. Allier, and M. Monperrus,
“Tailored source code transformations to synthesize computationally diverse program variants,” in Proc. of Int. Symp. on Software Testing and Analaysis (ISSTA), 2014, pp. 149–159. doi: 10.1145/2610384.2610415.
V. Aranega, J.-M. Mottu, A. Etien, T. Degueule, B. Baudry, and J.-L. Dekeyser,
“Towards an automation of the mutation analysis dedicated to model transformation,” Software Testing, Verification and Reliability, vol. 25, no. 5, pp. 653–683, 2015, http://hal.inria.fr/docs/00/98/81/64/pdf/paper.pdf
M. Faunes, J. Cadavid, B. Baudry, H. Sahraoui, and B. Combemale,
“Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples,” in Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2013, pp. 187–202. http://hal.inria.fr/hal-00923789
F. Munoz, B. Baudry, R. Delamare, and Y. Le Traon,
“Usage and Testability of AOP: an empirical study of AspectJ,” Information and Software Technology, vol. 55, no. 2, pp. 252–266, 2013, http://hal.inria.fr/hal-00726119/pdf/aop-analysis.pdf
X. Devroey, M. Cordy, G. Perrouin, E.-Y. Kang, P.-Y. Schobbens, P. Heymans, A. Legay, and B. Baudry,
“A Vision for Behavioural Model-Driven Validation of Software Product Lines,” in Proc of ISOLA, 2012, pp. 208–222. http://hal.inria.fr/hal-00726121/pdf/isola2012-root.pdf
A. Hervieu, B. Baudry, and A. Gotlieb,
“Managing execution environment variability during software testing: An industrial experience,” in Proc. Of the international conference on testing software and systems (ICTSS), 2012, pp. 24–38. https://hal.inria.fr/hal-00726137/document
J. Cadavid, B. Baudry, and H. Sahraoui,
“Searching the boundaries of a modeling space to test metamodels,” in Proc. Of the int. Conf. On software testing, validation and verification (ICST), 2012, pp. 131–140. http://hal.inria.fr/hal-00665866/pdf/main.pdf
B. Baudry, J. Bradbury, and G. Fraser,
“Guest editorial for special section on mutation testing,” Information and Software Technology, vol. 53, no. 10, p. 1097, 2011, http://www.sciencedirect.com/science/article/pii/S0950584911000814
G. Perrouin, S. Oster, S. Sen, J. Klein, B. Baudry, and Y. Le Traon,
“Pairwise testing for software product lines: A comparison of two approaches,” Software Quality Journal, vol. 20, no. 3, pp. 605–643, 2012, http://hal.inria.fr/docs/00/80/58/56/pdf/ICST-SPLC-SQJ2010-Ext.pdf
A. Hervieu, B. Baudry, and A. Gotlieb,
“PACOGEN : Automatic generation of pairwise test configurations from feature models,” in Proc. Of the int. Symp. On software reliability engineering (ISSRE), 2011, pp. 120–129. doi: 10.1109/ISSRE.2011.31.
A. Kattepur, S. Sen, B. Baudry, A. Benveniste, and C. Jard,
“Pairwise testing of dynamic composite services,” in Proc. Of the symp. On software engineering for adaptive and self-managing systems (SEAMS), 2011, pp. 138–147. https://hal.inria.fr/hal-00641340/document
R. Delamare, B. Baudry, S. Ghosh, S. Gupta, and Y. Le Traon,
“An approach for testing pointcut descriptors in AspectJ,” Software, Testing, Verification and Reliability journal, vol. 21, no. 3, pp. 215–239, 2011, doi: 10.1002/stvr.458.
B. Baudry,
“Question-learn-test-feedback pattern to test emerging software construction paradigms,” HDR, Université Européenne de Bretagne, 2010. http://tel.archives-ouvertes.fr/tel-00553854/pdf/hdr.pdf
T. Mouelhi, Y. Le Traon, E. Abgrall, B. Baudry, and S. Gombault,
“Tailored shielding and bypass testing of web applications,” in Proc. Of the int. Conf. On testing, validations and verification (ICST), 2011, pp. 210–219. https://hal.inria.fr/hal-00646424/pdf/ICST2011-Mouelhi-Shielding-Bypass-Final.pdf
J.-M. Mottu, B. Baudry, and Y. L. Traon,
“Construction de tests qualifiés de transformation de modèles,” Technique et Science Informatiques, Numéro Spécial Ingénierie dirigée par les modèles, vol. 29, no. 4, pp. 537–569, 2010, http://www.irisa.fr/triskell/publis/2010/Mottu2010.pdf
R. Delamare, F. Muñoz, B. Baudry, and Y. L. Traon,
“Vidock: A tool for impact analysis of aspect weaving on test cases,” in Proc. Of the international conference on testing software and systems (ICTSS), 2010, pp. 250–265. http://www.irisa.fr/triskell/publis/2010/Delamare2010n1.pdf
G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. Le Traon,
“Automated and scalable t-wise test case generation strategies for software product lines,” in Proc. Of the int. Conf. On software testing, validation and verification (ICST), 2010, pp. 459–468. doi: 10.1109/ICST.2010.43.
S. Sen, B. Baudry, and J.-M. Mottu,
“Automatic model generation strategies for model transformation testing,” in Proc. Of the international conference on model transformations (ICMT), 2009, pp. 148–164. http://www.irisa.fr/triskell/publis/2009/Sen09a.pdf
B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le Traon, and J.-M. Mottu,
“Barriers to systematic model transformation testing,” Communications of the ACM, vol. 53, no. 6, pp. 139–143, 2010, doi: 10.1145/1743546.1743583.
B. Baudry,
“Testing model transformations: A case for test generation from input domain models,” in Model driven engineering for distributed real-time embedded systems, Hermes, 2009. http://www.irisa.fr/triskell/publis/2009/Baudry09b.pdf
R. Delamare, B. Baudry, S. Ghosh, and Y. Le Traon,
“A test-driven approach to developing pointcut descriptors in AspectJ,” in Proc. Of the int. Conference on software testing, validation and verification (ICST), 2009, pp. 376–385. http://www.irisa.fr/triskell/publis/2009/Delamare09a.pdf
R. Delamare, B. Baudry, and Y. Le Traon,
“AjMutator: A tool for the mutation analysis of AspectJ pointcut descriptors,” in Proc. Of the international workshop on mutation analysis at ICST, 2009, pp. 200–204. http://www.irisa.fr/triskell/publis/2009/Delamare09b.pdf
T. Mouelhi, Y. Le Traon, and B. Baudry,
“Transforming and selecting functional test cases for security policy testing,” in Proc. Of the int. Conf. On software testing, verification and validation (ICST), 2009, pp. 171–180. http://www.irisa.fr/triskell/publis/2009/mouelhi09.pdf
F. Munoz and B. Baudry,
“A framework for testing model composition engines,” in Proc. Of the international conference on software composition (SC), 2009, pp. 125–141. http://www.irisa.fr/triskell/publis/2009/munoz09b.pdf
F. Munoz and B. Baudry,
“Artificial table testing dynamically adaptive systems,” INRIA Bretagne Atlantique, Research report inria-00365874, 2009. http://www.irisa.fr/triskell/publis/2008/munoz09c.pdf
R. Delamare, B. Baudry, and Y. Le Traon,
“Regression test selection when evolving software with aspects,” in Proc. Of the LATE workshop at AOSD’08, Apr. 2008. http://www.irisa.fr/triskell/publis/2008/Delamare08.pdf
T. Mouelhi, F. Fleurey, B. Baudry, and Y. Le Traon,
“Mutating DAC and MAC security policies: A generic metamodel based approach,” in Proc. Of the modeling security workshop at MODELS ’08, 2008. http://www.irisa.fr/triskell/publis/2008/mouelhi08b.pdf
Y. Le Traon, T. Mouelhi, A. Pretschner, and B. Baudry,
“Test-driven assessment of access control in legacy applications,” in Proc. Of the int. Conf. On software testing, verification and validation (ICST), 2008, pp. 238–247. http://www.irisa.fr/triskell/publis/2008/mouelhi08c.pdf
T. Mouelhi, B. Baudry, and F. Fleurey,
“A generic metamodel for security policies mutation,” in Proc. Of the security testing workshop at ICST, 2008, pp. 278–286. http://www.irisa.fr/triskell/publis/2008/mouelhi08e.pdf
T. Mouelhi, F. Fleurey, B. Baudry, and Y. Le Traon,
“A model-based framework for security policy specification, deployment and testing,” in Proc. Of the int. Conf. On model driven engineering languages and systems (MODELS), 2008, pp. 537–552. http://www.irisa.fr/triskell/publis/2008/Mouelhi08f
F. Munoz, B. Baudry, and O. Barais,
“Improving maintenance in AOP through an interaction specification framework,” in Proc. Of the int. Conf. On software maintentance (ICSM), 2008, pp. 77–86. https://hal.inria.fr/inria-00456504/pdf/munoz2008b.pdf
F. Munoz and B. Baudry,
“Validation challenges in model composition: The case of adaptive systems,” in Proc. Of ChaMDE 2000 workshop at MODELS’08, 2008. http://www.irisa.fr/triskell/publis/2008/munoz2008c.pdf
F. Fleurey, B. Baudry, A. Nicolas, E. Breton, and J.-M. Jézéquel,
“Generating regression tests for software migration,” Research Report RR-6971, 2008. http://hal.inria.fr/inria-00399493/en/
S. Sen, B. Baudry, and J.-M. Mottu,
“On combining multi-formalism knowledge to select models for model transformation testing,” in Proc. Of the int. Conf. On software testing, verification and validation (ICST), 2008, pp. 328–337. http://www.irisa.fr/triskell/publis/2008/Sen08a.pdf
F. Fleurey, B. Baudry, P.-A. Muller, and Y. Le Traon,
“Qualifying input test data for model transformations,” Journal of Software and Systems Modeling, vol. 8, no. 2, pp. 185–203, 2009, doi: 10.1007/s10270-007-0074-8.
T. Mouelhi, Y. Le Traon, and B. Baudry,
“Mutation analysis for security tests qualification,” in Proc. Of the workshop on mutation analysis at TAIC-part 2007, 2007. http://www.irisa.fr/triskell/publis/2007/mouelhi07a.pdf
Y. Le Traon, T. Mouelhi, and B. Baudry,
“Testing security policies: Going beyond functional testing,” in Proc. Of the int. Symp. On software reliability engineering (ISSRE)), 2007, pp. 93–102. http://www.irisa.fr/triskell/publis/2007/letraon07.pdf
F. Munoz, O. Barais, and B. Baudry,
“Vigilant usage of aspects,” in Proc. Of the ADI workshop at ECOOP 2007, 2007. http://www.irisa.fr/triskell/publis/2007/Munoz07a.pdf
B. Baudry, F. Fleurey, and Y. Le Traon,
“Improving test suites for efficient fault localization,” in Proc. Of the int. Conf. On software engineering (ICSE), 2006, pp. 82–91. https://hal.inria.fr/inria-00542783/pdf/baudry06a.pdf
B. Baudry, T. Dinh-Trong, J.-M. Mottu, D. Simmonds, R. France, S. Ghosh, F. Fleurey, and Y. Le Traon,
“Model transformation testing challenges,” in Proc. Of the IMDDMDT workshop at ECMDA’06, 2006. http://www.irisa.fr/triskell/publis/2006/baudry06b.pdf
B. Baudry, D. Hearnden, N. Rapin, and J. G. Suss,
“Report on the 3rd MoDeVa workshop - model design and validation,” in Proc. Of the workshops and symposia at MoDELS’06, LNCS, Oct. 2006, pp. 179–181. http://www.irisa.fr/triskell/publis/2006/baudry06c.pdf
E. Brottier, F. Fleurey, J. Steel, B. Baudry, and Y. Le Traon,
“Metamodel-based test generation for model transformations: An algorithm and a tool,” in Proc. Of int. Symp. On software reliability engineering (ISSRE), 2006, pp. 85–94. http://www.irisa.fr/triskell/publis/2006/Brottier06a.pdf
R. Delamare, B. Baudry, and Y. Le Traon,
“Reverse-engineering of UML 2.0 sequence diagrams from execution traces,” in Proc. Of the workshop on object-oriented reengineering at ECOOP 06, Jul. 2006. http://www.irisa.fr/triskell/publis/2006/Delamare06.pdf
A. Jackson, J. Klein, B. Baudry, and S. Clarke,
“Testing executable themes,” in Proc. Of the MDSD workshop at ECOOP 06, Nantes, France, Jul. 2006. http://www.irisa.fr/triskell/publis/2006/Jackson06a.pdf
Y. Le Traon, B. Baudry, and J.-M. Jézéquel,
“Design by contract to improve software vigilance,” IEEE Transactions on Software Engineering, vol. 32, no. 8, pp. 571–586, 2006, doi: 10.1109/TSE.2006.79.
J.-M. Mottu, B. Baudry, and Y. Le Traon,
“Mutation analysis testing for model transformations,” in Proc. Of the european conference on model driven architecture (ECMDA), 2006, pp. 376–390. http://www.irisa.fr/triskell/publis/2006/Mottu06a.pdf
J.-M. Mottu, B. Baudry, and Y. Le Traon,
“Reusable MDA components: A testing-for-trust approach,” in Proc. Of the int. Conf. On model driven engineering languages and systems (MODELS), 2006, pp. 589–603. http://pagesperso.ls2n.fr/~mottu-jm/publications/Mottu06b.pdf
C. Nebut, B. Baudry, S. Kamoun, and W. Ahmed Saeed,
“Multi-language support for model-driven requirement analysis and test generation,” in Proc. Of the IMDDMDT workshop at ECMDA’06., 2006. http://www.irisa.fr/triskell/publis/2006/Nebut06c.pdf
S. Sen and B. Baudry,
“Mutation-based model synthesis in model driven engineering,” in Proc. Of the mutation’06 workshop at ISSRE’06, 2006. http://www.irisa.fr/triskell/perso_pro/bbaudry/publis/sen06.pdf
B. Baudry, C. Gaston, and S. Ghosh,
“Report on the 2nd workshop on model development and validation: MoDeVa.” in Proc. Of the satellite events at the MoDELS’05, Oct. 2005, pp. 32–38. http://www.irisa.fr/triskell/perso_pro/bbaudry/publis/baudry05.pdf
T. Dinh-Trong, S. Ghosh, R. France, B. Baudry, and F. Fleurey,
“A taxonomy of faults for UML designs,” in Proc. Of the MoDeVa workshop at MODELS’05, 2005. http://www.irisa.fr/triskell/perso_pro/bbaudry/publis/Trung05.pdf
B. Baudry, Y. Le Traon, and G. Sunyé,
“Improving the testability of UML diagram,” in Proc. Of the IWoTA at ISSRE’04, Nov. 2004, pp. 70–80. http://www.irisa.fr/triskell/perso_pro/bbaudry/publis/iwota-final.pdf
B. Baudry and Y. Le Traon,
“Measuring design testability of a UML class diagram,” Information and Software Technology, vol. 47, no. 13, pp. 859–879, Dec. 2005, http://www.irisa.fr/triskell/publis/2004/Baudry05b.pdf
F. Fleurey, B. Baudry, and Y. Le Traon,
“From testing to diagnosis: An automated approach,” in Proc of the conf. On automated software engineering (ASE), 2004, pp. 306–309. http://www.irisa.fr/triskell/publis/2004/Fleurey04a.pdf
F. Fleurey, J. Steel, and B. Baudry,
“MDE and validation: Testing model transformations,” in Proc. Of the modeva workshop at ISSRE’04, Rennes, France, Nov. 2004. http://www.irisa.fr/triskell/publis/2004/Fleurey04b.pdf
Y. Le Traon and B. Baudry,
“Optimal allocation of testing resources,” in Proc. Of the modeva workshop at ISSRE’04, Rennes, France, Nov. 2004.
B. Baudry, Y. Le Traon, G. Sunyé, and J.-M. Jézéquel,
“Measuring and improving design patterns testability,” in Proc. Of the metrics symposium (metrics), 2003, pp. 50–59. http://www.irisa.fr/triskell/publis/2003/Baudry03a.pdf
B. Baudry, Y. Le Traon, and G. Sunyé,
“Testability analysis of UML class diagram,” in Proc. Of the metrics symposium (metrics), 2002, pp. 54–63. http://www.irisa.fr/triskell/publis/2002/Baudry02a.pdf
B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. Le Traon,
“Genes and bacteria for automatic test cases optimization in the .NET environment,” in Proc. Of the int. Symp. On software reliability engineering (ISSRE), 2002, pp. 195–206. http://www.irisa.fr/triskell/publis/2002/Baudry02b.pdf
B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. Le Traon,
“Computational intelligence for testing .NET components,” in Proc. Of microsoft summer research workshop, 2002. http://www.irisa.fr/triskell/publis/2002/Baudry02c.pdf
B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. Le Traon,
“Automatic test cases optimization using a bacteriological adaptation model: Application to .NET components,” in Proc. Of the conf. On automated software engineering (ASE), 2002, pp. 253–256. http://www.irisa.fr/triskell/publis/2002/Baudry02d.pdf
Y. Le Traon, F. Ouabdesselam, C. Robach, and B. Baudry,
“From diagnosis to diagnosability: Axiomatization, measurement and application,” Journal of Systems and Software, vol. 65, no. 1, pp. 31–50, 2003, doi: 10.1016/S0164-1212(02)00026-2.
B. Baudry, Y. Le Traon, and J.-M. Jézéquel,
“Robustness and diagnosability of OO systems designed by contracts,” in Proc. Of the metrics symposium (metrics), 2001, pp. 272–284. http://www.irisa.fr/triskell/publis/2001/Baudry01a.pdf
B. Baudry, Y. Le Traon, G. Sunyé, and J.-M. Jézéquel,
“Towards a ’safe’ use of design patterns to improve OO software testability,” in Proc. Of int. Symp. On software reliability engineering (ISSRE), 2001, pp. 324–331. http://www.irisa.fr/triskell/publis/2001/Baudry01b.pdf
B. Baudry, Y. Le Traon, and H. Vu Le,
“Testing-for-trust: The genetic selection model applied to component qualification,” in Proc. Of TOOLS europe, 2000, pp. 108–119. http://www.irisa.fr/triskell/publis/2000/Baudry00a.pdf
B. Baudry, Y. Le Traon, H. Vu Le, and J.-M. Jézéquel,
“Building trust into OO components using a genetic analogy,” in Proc. Of the int. Symp. On software reliability engineering (ISSRE), 2000, pp. 4–14. http://www.irisa.fr/triskell/publis/2000/Baudry00b.pdf
B. Baudry, Y. Le Traon, J.-M. Jézéquel, and H. Vu Le,
“Trustable components: Yet another mutation-based approach,” in Proc. Of the symposium on mutation testing, San Jose, CA, Oct. 2000, pp. 69–76. http://www.irisa.fr/triskell/publis/2000/Baudry00c.pdf