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
2342010
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
2092006
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
1632007
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
1562006
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
1482010
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
1472012
Validation in model-driven engineering: testing model transformations
F Fleurey, J Steel, B Baudry
Proceedings. 2004 First International Workshop on Model, Design and …, 2004
1402004
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
1272016
Automatic model generation strategies for model transformation testing
S Sen, B Baudry, JM Mottu
International Conference on Theory and Practice of Model Transformations …, 2009
1152009
Testability analysis of a UML class diagram
B Baudry, Y Le Traon, G Sunyé
Proceedings Eighth IEEE Symposium on Software Metrics, 54-63, 2002
1132002
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
1052007
Mutation analysis testing for model transformations
JM Mottu, B Baudry, Y Le Traon
European Conference on Model Driven Architecture-Foundations and …, 2006
1052006
Meta-model pruning
S Sen, N Moha, B Baudry, JM Jézéquel
International Conference on Model Driven Engineering Languages and Systems …, 2009
1012009
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
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
952008
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
952005
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
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
ME Thatcher, DE Pingry
Communications of the ACM 50 (8), 41-45, 2007
94*2007
Model composition-a signature-based approach
R Reddy, R France, S Ghosh, F Fleurey, B Baudry
Aspect Oriented Modeling (AOM) Workshop, 2005
942005
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
912007
The system can't perform the operation now. Try again later.
Articles 1–20