Lucas Serrano: Automatic Inference of System Software Transformation Rules from Examples. (Inférence automatique à partir d'exemples de règles de transformations logicielles). Sorbonne University, France 2020