Abdesselam Lakehal, Ioannis Parissis. Structural test coverage criteria for lustre programs. In Tiziana Margaria, Mieke Massink, editors, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005. pages 35-43, ACM, 2005. [doi]
Abstract is missing.