Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel - Bissyandé, Tegawendé F.; Réveillère, Laurent; Lawall, Julia L.; Muller, Gilles; Laboratoire Bordelais de Recherche en Informatique (LaBRI); Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS); Large-Scale Distributed Systems; Applications (Regal); Laboratoire d'Informatique de Paris 6 (LIP6); Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) (27th IEEE/ACM International Conference on Automated Software Engineering ; https://hal.science/hal-00731064 ; 27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.60-69, ⟨10.1145/2351676.2351686⟩, 2012)