LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.

Guy Durrieu, Hlne Waeselynck, Virginie Wiels

Browse the full FMICS paper archive.