Benoit Baudry
Benoit Baudry
Professor in Software Technology, KTH
Email verificata su kth.se - Home page
Titolo
Citata da
Citata da
Anno
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
2752010
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
2512006
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
1962016
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
1792007
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
1772006
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
1692010
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
1672012
Validation in model-driven engineering: testing model transformations
F Fleurey, J Steel, B Baudry
Proceedings. 2004 First International Workshop on Model, Design and …, 2004
1652004
Automatic model generation strategies for model transformation testing
S Sen, B Baudry, JM Mottu
International Conference on Theory and Practice of Model Transformations …, 2009
1342009
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
1212007
Testability analysis of a UML class diagram
B Baudry, Y Le Traon, G Sunyé
Proceedings Eighth IEEE Symposium on Software Metrics, 54-63, 2002
1212002
Mutation analysis testing for model transformations
JM Mottu, B Baudry, Y Le Traon
European Conference on Model Driven Architecture-Foundations and …, 2006
1182006
Meta-model pruning
S Sen, N Moha, B Baudry, JM Jézéquel
International Conference on Model Driven Engineering Languages and Systems …, 2009
1132009
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
1132008
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
1092005
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
1082005
Qualifying input test data for model transformations
F Fleurey, B Baudry, PA Muller, Y Le Traon
Software & Systems Modeling 8 (2), 185-203, 2009
1072009
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
1032005
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
1022006
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20