Benoit Baudry
Benoit Baudry
Professor in Software Technology, KTH
Email verificata su kth.se - Home page
TitoloCitata daAnno
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
2362010
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
1572006
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
1512010
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
1492012
Validation in model-driven engineering: testing model transformations
F Fleurey, J Steel, B Baudry
Proceedings. 2004 First International Workshop on Model, Design and …, 2004
1422004
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
1302016
Automatic model generation strategies for model transformation testing
S Sen, B Baudry, JM Mottu
International Conference on Theory and Practice of Model Transformations …, 2009
1162009
Testability analysis of a UML class diagram
B Baudry, Y Le Traon, G Sunyé
Proceedings Eighth IEEE Symposium on Software Metrics, 54-63, 2002
1142002
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
1062007
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
1032009
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
952009
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
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
932005
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20