Benoit Baudry
Benoit Baudry
WASP Professor in Software Technology, KTH
Verified email at inria.fr - Homepage
TitleCited byYear
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
2312010
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
2062006
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
1602007
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
1552006
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
1442010
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-4), 605-643, 2012
1432012
Validation in model-driven engineering: testing model transformations
F Fleurey, J Steel, B Baudry
Proceedings. 2004 First International Workshop on Model, Design and …, 2004
1392004
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
1192016
Automatic model generation strategies for model transformation testing
S Sen, B Baudry, JM Mottu
International Conference on Theory and Practice of Model Transformations …, 2009
1142009
Testability analysis of a UML class diagram
B Baudry, Y Le Traon, G Sunyé
Proceedings Eighth IEEE Symposium on Software Metrics, 54-63, 2002
1122002
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
1042007
Mutation analysis testing for model transformations
JM Mottu, B Baudry, Y Le Traon
European Conference on Model Driven Architecture-Foundations and …, 2006
1022006
Meta-model pruning
S Sen, N Moha, B Baudry, JM Jézéquel
International Conference on Model Driven Engineering Languages and Systems …, 2009
992009
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
972005
Qualifying input test data for model transformations
F Fleurey, B Baudry, PA Muller, Y Le Traon
Software & Systems Modeling 8 (2), 185-203, 2009
942009
Model composition-a signature-based approach
R Reddy, R France, S Ghosh, F Fleurey, B Baudry
Aspect Oriented Modeling (AOM) Workshop, 2005
932005
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
932005
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
922008
Model transformation testing challenges
B Baudry, T Dinh-Trong, JM Mottu, D Simmonds, R France, S Ghosh, ...
912006
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
892007
The system can't perform the operation now. Try again later.
Articles 1–20