A regression testing approach for Lustre/SCADE programs | Publicación