Skip to Main content Skip to Navigation
Conference papers

Testing-Based Compiler Validation for Synchronous Languages

Abstract : In this paper we present a novel lightweight approach to validate compilers for synchronous languages. Instead of verifying a compiler for all input programs or providing a fixed suite of regression tests, we extend the compiler to generate a test-suite with high behavioral coverage and geared towards discovery of faults for every compiled artifact. We have implemented and evaluated our approach using a compiler from Lustre to C.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, April 23, 2019 - 8:50:05 AM
Last modification on : Thursday, June 10, 2021 - 3:08:42 AM


Files produced by the author(s)



Pierre-Loïc Garoche, Folk Howar, Temesghen Kahsai, Xavier Thirioux. Testing-Based Compiler Validation for Synchronous Languages. 6th International Symposium on NASA Formal Methods (NFM 2014), Apr 2014, Houston, Texas, United States. pp.246-251, ⟨10.1007/978-3-319-06200-6_19⟩. ⟨hal-02092914⟩



Record views


Files downloads