Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Automatic Testing of LUSTRE/SCADE Programs. In Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman, editors, Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, & Design Dynamic Systems, CRC Press, 2011. [doi]
Abstract is missing.