Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis. Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. In Darren D. Cofer, Alessandro Fantechi, editors, Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Volume 5596 of Lecture Notes in Computer Science, pages 23-36, Springer, 2008. [doi]
Abstract is missing.