Bbaudry

Author's details

Date registered: June 11, 2012

Latest posts

  1. Mutation testing @ EclipseCon — October 27, 2017
  2. Correctness attraction — October 19, 2017
  3. Professor at KTH — August 30, 2017
  4. Randomized Firefox @ ESSoS — May 15, 2017
  5. Domain-specific tracing @ SoSyM — May 15, 2017

Author's posts listings

Oct 27

Mutation testing @ EclipseCon

I presented the work we do in STAMP about mutation testing at EclipseCon. The slides are available, as well as the Descartes tool.

Oct 19

Correctness attraction

Our work on “Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation” (B. Danglot, P. Preux, B. Baudry, M. Monperrus) has been accepted for publication in the Journal Empirical Software Engineering.

Aug 30

Professor at KTH

Since August 1st, I am a WASP Professor in Software Technology at the KTH Royal Institute of Technology

May 15

Randomized Firefox @ ESSoS

“FPRandom: Randomizing core browser objects to break advanced device fingerprinting techniques” (P. Laperdrix, B. Baudry, V. Mishra) has been accepted for publication at ESSoS.

May 15

Domain-specific tracing @ SoSyM

“Advanced and Efficient Execution Trace Management for Executable Domain-Specific Modeling Languages” (E. Bousse, T. Mayerhofer, B. Combemale, B. Baudry) has been accepted for publication in the Journal for Software and Systems Modeling.

Dec 20

Voir et entendre le logiciel

Ce stage, en collaboration entre l’IRISA de l’Université de Rennes 1 et le laboratoire d’Arts de l’Université de Rennes 2, vise à bâtir un dispositif qui produit une représentation visuelle et sonore du logiciel. A titre d’exemple, des représentations d’objets logiciels / algorithmiques, peuvent être trouvées ici: http://artport.whitney.org/commissions/codedoc/index.shtml http://artport.whitney.org/commissions/codedoc/paley.shtml http://whitney.org/Exhibitions/Artport/Commissions/SoftwareStructures

Aug 09

STAMP: a new project on test amplification

We are particularly proud to announce the STAMP project, which will start in the fall 2016. It will gather 9 European partners to work on automatic test amplification. STAMP has been selected as part of the EU H2020 call for proposals ICT-10-2016 ‘Software Technologies’. The STAMP consortium gathers the following partners, who contribute a total …

Continue reading »

Jul 08

Benchmark generation at ASE 2016

Our work “Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding” (M. Rodriguez-Cancio, B. Combemale, B. Baudry) will presented at ASE 2016.

Jun 13

Compiler testing at QRS

Our work “NOTICE: A Framework for Non-Functional Testing of Compilers” (M. Boussaa, O. Barais, B. Baudry, G. Sunuye) will be presented at QRS 2016.

Apr 28

Test refactoring @ IST

Our work on test refactoring ““B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis” (Jifeng Xuan, Benoit Cornu, Matias Martinez, Benoit Baudry, Lionel Seinturier, Martin Monperrus) has been accepted in the IST journal.

Older posts «