Testing-Based Compiler Validation for Synchronous Languages.

Pierre-Loïc Garoche Falk Howar Temesghen Kahsai Xavier Thirioux

Published in: NASA Formal Methods (2014)

Keyphrases

model based testing
programming language
expressive power
general purpose
test cases
language independent
domain specific languages
asynchronous communication
data sets
cross lingual
multi lingual
constraint language
test set
object oriented
test suite
code generation
highly optimized
information retrieval