… with Lustre, a synchronous data-flow language widely used in safety critical … hypotheses on the program under test. The input language of Lutess has been … of the language and illustrate their execution semantics on a simple example. …
ESEC/FSE 2007: 8-12 [doi]… Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language. It makes possible to automatically … input generation and show how test data generation according to the main …
issre 2006: 105-116 [doi]