Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators.

Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis

Browse the full FMICS paper archive.