B. Baudry

SIVOES-MoDeVa 2004 Proceedings

B. Baudry, 2004 .

Validation in model-driven engineering: testing model transformations

B. Baudry, F. Fleurey, J. Steel, 2004, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004..

Improving the testability of UML class diagrams

B. Baudry, Y. Le Traon, G. Sunye, 2004, First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings..

Mutation Analysis for Security Tests Qualification

B. Baudry, Y. Le Traon, T. Mouelhi, 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007).

Optimal allocation of testing resources

Yves Le Traon, B. Baudry, Y. Le Traon, 2004, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004..