TY  - RPRT
TI  - Testing-Based Compiler Validation for Synchronous Languages
AU  - Garoche, Pierre-Loic
AU  - Howar, Falk
AU  - Kahsai, Temesghen
AU  - Thirioux, Xavier
PY  - 2014
UR  - https://ntrs.nasa.gov/citations/20140013438
ID  - 20140013438
ER  -