Benoit Baudry
Benoit Baudry
Professor in Software Technology, KTH
Verified email at kth.se - Homepage
Title
Cited by
Cited by
Year
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
2852010
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
2602006
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
2252016
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
1802006
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
1782007
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
1732010
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
1712012
Validation in model-driven engineering: testing model transformations
F Fleurey, J Steel, B Baudry
Proceedings. 2004 First International Workshop on Model, Design and …, 2004
1662004
Automatic model generation strategies for model transformation testing
S Sen, B Baudry, JM Mottu
International Conference on Theory and Practice of Model Transformations …, 2009
1352009
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
1302007
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
1202008
Mutation analysis testing for model transformations
JM Mottu, B Baudry, Y Le Traon
European Conference on Model Driven Architecture-Foundations and …, 2006
1192006
Testability analysis of a UML class diagram
B Baudry, Y Le Traon, G Sunyé
Proceedings Eighth IEEE Symposium on Software Metrics, 54-63, 2002
1192002
Meta-model pruning
S Sen, N Moha, B Baudry, JM Jézéquel
International Conference on Model Driven Engineering Languages and Systems …, 2009
1142009
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
1132005
Qualifying input test data for model transformations
F Fleurey, B Baudry, PA Muller, Y Le Traon
Software & Systems Modeling 8 (2), 185-203, 2009
1082009
Globalizing modeling languages
B Combemale, J Deantoni, B Baudry, RB France, JM Jézéquel, J Gray
Computer 47 (6), 68-71, 2014
1072014
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
1062005
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
1052007
Model composition-a signature-based approach
R Reddy, R France, S Ghosh, F Fleurey, B Baudry
Aspect Oriented Modeling (AOM) Workshop, 2005
1052005
The system can't perform the operation now. Try again later.
Articles 1–20