| Automated and scalable t-wise test case generation strategies for software product lines G Perrouin, S Sen, J Klein, B Baudry, Y Le Traon 2010 Third international conference on software testing, verification and …, 2010 | 273 | 2010 |
| Improving test suites for efficient fault localization B Baudry, F Fleurey, Y Le Traon Proceedings of the 28th international conference on Software engineering, 82-91, 2006 | 250 | 2006 |
| Beauty and the beast: Diverting modern web browsers to build unique browser fingerprints P Laperdrix, W Rudametkin, B Baudry 2016 IEEE Symposium on Security and Privacy (SP), 878-894, 2016 | 193 | 2016 |
| A generic approach for automatic model composition F Fleurey, B Baudry, R France, S Ghosh International Conference on Model Driven Engineering Languages and Systems, 7-15, 2007 | 178 | 2007 |
| Metamodel-based test generation for model transformations: an algorithm and a tool E Brottier, F Fleurey, J Steel, B Baudry, Y Le Traon 2006 17th International Symposium on Software Reliability Engineering, 85-94, 2006 | 176 | 2006 |
| Barriers to systematic model transformation testing B Baudry, S Ghosh, F Fleurey, R France, Y Le Traon, JM Mottu Communications of the ACM 53 (6), 139-143, 2010 | 168 | 2010 |
| Pairwise testing for software product lines: comparison of two approaches G Perrouin, S Oster, S Sen, J Klein, B Baudry, Y Le Traon Software Quality Journal 20 (3), 605-643, 2012 | 166 | 2012 |
| Validation in model-driven engineering: testing model transformations F Fleurey, J Steel, B Baudry Proceedings. 2004 First International Workshop on Model, Design and …, 2004 | 162 | 2004 |
| Automatic model generation strategies for model transformation testing S Sen, B Baudry, JM Mottu International Conference on Theory and Practice of Model Transformations …, 2009 | 133 | 2009 |
| Testability analysis of a UML class diagram B Baudry, Y Le Traon, G Sunyé Proceedings Eighth IEEE Symposium on Software Metrics, 54-63, 2002 | 121 | 2002 |
| Model-driven engineering for software migration in a large industrial context F Fleurey, E Breton, B Baudry, A Nicolas, JM Jézéquel International Conference on Model Driven Engineering Languages and Systems …, 2007 | 120 | 2007 |
| Mutation analysis testing for model transformations JM Mottu, B Baudry, Y Le Traon European Conference on Model Driven Architecture-Foundations and …, 2006 | 117 | 2006 |
| A model-based framework for security policy specification, deployment and testing T Mouelhi, F Fleurey, B Baudry, Y Le Traon International Conference on Model Driven Engineering Languages and Systems …, 2008 | 113 | 2008 |
| Meta-model pruning S Sen, N Moha, B Baudry, JM Jézéquel International Conference on Model Driven Engineering Languages and Systems …, 2009 | 112 | 2009 |
| From genetic to bacteriological algorithms for mutation‐based testing B Baudry, F Fleurey, JM Jézéquel, Y Le Traon Software Testing, Verification and Reliability 15 (2), 73-96, 2005 | 109 | 2005 |
| Automatic test case optimization: A bacteriologic algorithm B Baudry, F Fleurey, JM Jézéquel, Y Le Traon IEEE software 22 (2), 76-82, 2005 | 108 | 2005 |
| Qualifying input test data for model transformations F Fleurey, B Baudry, PA Muller, Y Le Traon Software & Systems Modeling 8 (2), 185-203, 2009 | 105 | 2009 |
| Testing security policies: going beyond functional testing Y Le Traon, T Mouelhi, B Baudry The 18th IEEE International Symposium on Software Reliability (ISSRE'07), 93-102, 2007 | 105 | 2007 |
| Model composition-a signature-based approach R Reddy, R France, S Ghosh, F Fleurey, B Baudry Aspect Oriented Modeling (AOM) Workshop, 2005 | 103 | 2005 |
| Model transformation testing challenges B Baudry, T Dinh-Trong, JM Mottu, D Simmonds, R France, S Ghosh, ... ECMDA workshop on Integration of Model Driven Development and Model Driven …, 2006 | 100 | 2006 |
Yves Le TraonProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
